Skip to content
Create Release

avoid exact in Introduction.lean #16

Sign in to view logs

avoid exact in Introduction.lean

avoid exact in Introduction.lean #16

Triggered via push February 26, 2025 09:12
@PatrickMassotPatrickMassot
pushed 0ca3178
master
Status Success
Total duration 12s
Artifacts –

create-release.yml

on: push
create-release
2s
create-release
Fit to window
Zoom out
Zoom in