Skip to content
Build and Test LogicNG on different Operating Systems

refactoring of MaxSATResult to include optimum and model #71

Sign in to view logs

refactoring of MaxSATResult to include optimum and model

refactoring of MaxSATResult to include optimum and model #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
2m 20s
build (macos-latest)
3m 34s
build (windows-latest)
3m 8s
9m 2s