Skip to content
Build and run tests (macOS)

Merge pull request #4140 from jix/writer_aiger_sccs #2825

Sign in to view logs

Merge pull request #4140 from jix/writer_aiger_sccs

Merge pull request #4140 from jix/writer_aiger_sccs #2825

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-macos (macos-13, Ventura, c++11)
21m 10s
test-macos (macos-13, Ventura, c++17)
8m 44s
29m 54s