Skip to content

organized code, and add post-condition in AST #18

organized code, and add post-condition in AST

organized code, and add post-condition in AST #18

Triggered via push December 5, 2024 18:25
Status Success
Total duration 19s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build (3.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636