Skip to content

Merge pull request #4801 from povik/aiger2-rm-print #1442

Merge pull request #4801 from povik/aiger2-rm-print

Merge pull request #4801 from povik/aiger2-rm-print #1442

Triggered via push December 5, 2024 17:41
Status Success
Total duration 11m 49s
Artifacts

test-build.yml

on: push
pre_docs_job
4s
pre_docs_job
pre_job
3s
pre_job
Matrix: Reusable build
Matrix: Try build docs
Matrix: Run docs tests
Matrix: Run tests
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
pre_docs_job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
pre_job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636