Skip to content
continuous integration

move lemmas #415

Sign in to view logs

move lemmas

move lemmas #415

Triggered via push October 10, 2025 18:41
@RemyDegenneRemyDegenne
pushed 0497c28
RD_fernique
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
Build
Build
Lint style
Lint style
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in