Skip to content
LeanAuto CI

[Civl] Fixed bug in typechecking of yielding loops #46

Sign in to view logs

[Civl] Fixed bug in typechecking of yielding loops

[Civl] Fixed bug in typechecking of yielding loops #46

Run time

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