Skip to content
Run Backend CI

Chopper: More fine grained dependency analysis for domain axioms #598

Sign in to view logs

Chopper: More fine grained dependency analysis for domain axioms

Chopper: More fine grained dependency analysis for domain axioms #598

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_ci (silicon)
14m 22s
run_ci (carbon)
21m 34s
35m 56s