Skip to content
Compile blueprint

Rename lemmas #539

Sign in to view logs

Rename lemmas

Rename lemmas #539

Triggered via pull request May 16, 2026 15:40
@RemyDegenneRemyDegenne
opened #109
cleanup
Status Success
Total duration 11m 8s
Artifacts –

blueprint.yml

on: pull_request
Build project
11m 3s
Build project
Fit to window
Zoom out
Zoom in