Skip to content
CI

update to Lean 4.2.0-rc4 with deriving DecidableEq, separate Vocab #32

Sign in to view logs

update to Lean 4.2.0-rc4 with deriving DecidableEq, separate Vocab

update to Lean 4.2.0-rc4 with deriving DecidableEq, separate Vocab #32

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
2m 19s
Stats
10s
2m 29s