Skip to content
Test

Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta #34

Sign in to view logs

Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta

Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
14s
14s