Skip to content
Run Backend CI

Auto-generating well-foundedness axioms for ADT types in the ADT plugin #475

Sign in to view logs

Auto-generating well-foundedness axioms for ADT types in the ADT plugin

Auto-generating well-foundedness axioms for ADT types in the ADT plugin #475

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_ci (silicon)
13m 58s
run_ci (carbon)
31m 38s
45m 36s