Skip to content
rolling

Improvements to the evaluate function focusing on optimizing derived predicates and existential preconditions resolution #144

Sign in to view logs

Improvements to the evaluate function focusing on optimizing derived predicates and existential preconditions resolution

Improvements to the evaluate function focusing on optimizing derived predicates and existential preconditions resolution #144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-24.04)
6m 0s
6m 0s