Skip to content
continuous integration

chore: bump Lean toolchain #22

Sign in to view logs

chore: bump Lean toolchain

chore: bump Lean toolchain #22

Triggered via push January 3, 2024 07:09
@david-christiansendavid-christiansen
pushed 0ff2297
main
Status Success
Total duration 1m 16s
Artifacts –

ci.yml

on: push
test
1m 6s
test
Fit to window
Zoom out
Zoom in