Skip to content
ci

remove false remarks about structures that only held in Lean 3 #7

Sign in to view logs

remove false remarks about structures that only held in Lean 3

remove false remarks about structures that only held in Lean 3 #7

Triggered via pull request August 30, 2023 10:15
@eric-wiesereric-wieser
opened #121
eric-wieser:structure-eta
Status Success
Total duration 3m 1s
Artifacts –

build.yml

on: pull_request
Build
2m 50s
Build
Fit to window
Zoom out
Zoom in