Skip to content
LeanAuto CI

Use axiom instead of variable for globals, consts #381

Sign in to view logs

Use axiom instead of variable for globals, consts

Use axiom instead of variable for globals, consts #381

Run time

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