Skip to content
ci

Fix Lean 3 names in comments. #97

Sign in to view logs

Fix Lean 3 names in comments.

Fix Lean 3 names in comments. #97

Triggered via push December 22, 2023 14:38
@PatrickMassotPatrickMassot
pushed a400dc3
master
Status Success
Total duration 1m 52s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

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