Skip to content
CI

chore: update to Lean v4.12.0 #9

Sign in to view logs

chore: update to Lean v4.12.0

chore: update to Lean v4.12.0 #9

Triggered via push October 26, 2024 19:29
@tydeutydeu
pushed c8edd24
master
Status Success
Total duration 53s
Artifacts 3

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
macos-latest
1.46 MB
ubuntu-latest
1.46 MB
windows-latest
1.46 MB