Skip to content
ci

Fix typo to define Group₁ by extending Inv₁ #99

Sign in to view logs

Fix typo to define Group₁ by extending Inv₁

Fix typo to define Group₁ by extending Inv₁ #99

Triggered via push December 22, 2023 15:29
@PatrickMassotPatrickMassot
pushed bedf492
master
Status Success
Total duration 2m 0s
Artifacts –

build.yml

on: push
Build
1m 51s
Build
Fit to window
Zoom out
Zoom in