Skip to content
MacOS build

Option to disable negative axioms (default: disabled) + style fixes. #65

Sign in to view logs

Option to disable negative axioms (default: disabled) + style fixes.

Option to disable negative axioms (default: disabled) + style fixes. #65

Run time

Learn about OS pricing on GitHub Actions
Job Run time
MacOS build
14m 22s
14m 22s