Skip to content
ci

remove false remarks that only held in Lean 3 (#121) #9

Sign in to view logs

remove false remarks that only held in Lean 3 (#121)

remove false remarks that only held in Lean 3 (#121) #9

Triggered via push August 30, 2023 13:44
@PatrickMassotPatrickMassot
pushed 9c5e08a
master
Status Success
Total duration 3m 20s
Artifacts –

build.yml

on: push
Build
3m 6s
Build
Fit to window
Zoom out
Zoom in