Skip to content
CI

do not unravel left branch; some progress with star case Lemma 4 #12

Sign in to view logs

do not unravel left branch; some progress with star case Lemma 4

do not unravel left branch; some progress with star case Lemma 4 #12

Triggered via push October 10, 2023 11:59
@m4lvinm4lvin
pushed 97c69e2
main
Status Success
Total duration 1m 51s
Artifacts –

build.yml

on: push
Build
1m 41s
Build
Stats
11s
Stats
Fit to window
Zoom out
Zoom in