Skip to content
CI

chore: Update Lean and dependencies on 2026/02/17 #2695

Sign in to view logs

chore: Update Lean and dependencies on 2026/02/17

chore: Update Lean and dependencies on 2026/02/17 #2695

Triggered via pull request April 3, 2026 17:48
@SnO2WMaNSnO2WMaN
synchronize #758
update-20260217
Status Failure
Total duration 11m 32s
Artifacts –

ci.yml

on: pull_request
Check mk_all executed
1m 42s
Check mk_all executed
Check references.bib format
29s
Check references.bib format
Build project
9m 44s
Build project
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.