Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request February 25, 2026 07:37
@SnO2WMaNSnO2WMaN
synchronize #758
update-20260217
Status Failure
Total duration 13m 36s
Artifacts –

ci.yml

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

Annotations

1 error
Build project
Process completed with exit code 1.