Skip to content
continuous integration

Merge pull request #4 from leanprover/toolchain/v4.3.0 #27

Sign in to view logs

Merge pull request #4 from leanprover/toolchain/v4.3.0

Merge pull request #4 from leanprover/toolchain/v4.3.0 #27

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
10s
10s