Skip to content
LeanAuto CI

[Civl] Adjust refinement to handle calls to yield procedures #589

Sign in to view logs

[Civl] Adjust refinement to handle calls to yield procedures

[Civl] Adjust refinement to handle calls to yield procedures #589

Run time

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