Skip to content
CI

skipping the Lemma 5, sort of #105

Sign in to view logs

skipping the Lemma 5, sort of

skipping the Lemma 5, sort of #105

Triggered via push December 13, 2023 19:55
@m4lvinm4lvin
pushed 65c0301
DagTab
Status Success
Total duration 2m 4s
Artifacts –

build.yml

on: push
Build
1m 33s
Build
Build Bml
1m 55s
Build Bml
Stats
7s
Stats
Fit to window
Zoom out
Zoom in