Skip to content
LeanAuto CI

[Civl] Split invariant checking and refinement checking #559

Sign in to view logs

[Civl] Split invariant checking and refinement checking

[Civl] Split invariant checking and refinement checking #559

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
5m 54s
5m 54s