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

Triggered via push October 24, 2023 12:33
@m4lvinm4lvin
pushed 81325c9
main
Status Success
Total duration 2m 37s
Artifacts –

build.yml

on: push
Build
2m 19s
Build
Stats
10s
Stats
Fit to window
Zoom out
Zoom in