Skip to content
LeanAuto CI

[Civl] Anonymous actions in refinement specification of yield procedures #380

Sign in to view logs

[Civl] Anonymous actions in refinement specification of yield procedures

[Civl] Anonymous actions in refinement specification of yield procedures #380

Run time

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