Skip to content
.github/workflows/ci.yml

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

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 #1618

Triggered via pull request December 4, 2024 10:50
@NadrierilNadrieril
synchronize #386
Nadrieril:speedup-ci
Status Cancelled
Total duration 1m 12s
Artifacts –

ci.yml

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

Annotations

2 errors
lean
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-386' exists
lean
The operation was canceled.