Skip to content
.github/workflows/ci.yml

Skip lean CI if the lean files did not change #1617

Sign in to view logs

Skip lean CI if the lean files did not change

Skip lean CI if the lean files did not change #1617

Triggered via pull request December 4, 2024 10:47
@NadrierilNadrieril
synchronize #386
Nadrieril:speedup-ci
Status Success
Total duration 37s
Artifacts –

ci.yml

on: pull_request
diff_lean_files
3s
diff_lean_files
lean
0s
lean
Fit to window
Zoom out
Zoom in