Skip to content
macOS

Issue454 - move computation of negated axioms to search component #1518

Sign in to view logs

Issue454 - move computation of negated axioms to search component

Issue454 - move computation of negated axioms to search component #1518

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test planner (macos-11, 3.8)
1s
Compile and test planner (macos-12, 3.10)
6m 38s
6m 39s