Skip to content
macOS

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

Sign in to view logs

Issue454 - move computation of negated axioms to search component

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

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)
4m 56s
4m 57s