Skip to content
ci

modify scripts to account for Common.lean #12

Sign in to view logs

modify scripts to account for Common.lean

modify scripts to account for Common.lean #12

Triggered via push September 4, 2023 23:46
@avigadavigad
pushed ad7ce37
master
Status Success
Total duration 2m 36s
Artifacts –

build.yml

on: push
Build
2m 25s
Build
Fit to window
Zoom out
Zoom in