Skip to content

ci: Add concurrency control to cancel stale PR runs #2574

ci: Add concurrency control to cancel stale PR runs

ci: Add concurrency control to cancel stale PR runs #2574

Triggered via pull request February 20, 2026 12:05
Status Success
Total duration 5m 18s
Artifacts 1

ci.yml

on: pull_request
Build project
5m 14s
Build project
Check references.bib format
35s
Check references.bib format
Check mk_all executed
1m 58s
Check mk_all executed
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
34.7 MB
sha256:38400922b03cc40b2ff3f51f9c007b48c09a06afd98dfd699b88b76feabae328