Skip to content
Build and Test LogicNG on different Operating Systems

Merge branch 'main' into feature/maxsat-incremental-interface #90

Sign in to view logs

Merge branch 'main' into feature/maxsat-incremental-interface

Merge branch 'main' into feature/maxsat-incremental-interface #90

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
2m 37s
build (macos-latest)
5m 17s
build (windows-latest)
3m 33s
11m 27s