Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request February 25, 2026 04:27
@SnO2WMaNSnO2WMaN
synchronize #758
update-20260217
Status Failure
Total duration 6m 21s
Artifacts –

ci.yml

on: pull_request
Build project
6m 17s
Build project
Check references.bib format
33s
Check references.bib format
Check mk_all executed
1m 51s
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.