Skip to content
Lean Action CI

chore: add thms on fcomp, inv, bijections #17

Sign in to view logs

chore: add thms on fcomp, inv, bijections

chore: add thms on fcomp, inv, bijections #17

Triggered via push November 9, 2025 10:02
@VTrelatVTrelat
pushed c0e7a45
main
Status Success
Total duration 7m 51s
Artifacts 1

lean_action_ci.yml

on: push
build
7m 47s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
12 MB
sha256:5063f8401e943bdb08873505f57c0d5f17a31120a00d92335e5edd63f87d86e4