Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request April 4, 2026 20:01
@iehalityiehality
synchronize #758
update-20260217
Status Failure
Total duration 1m 45s
Artifacts –

ci.yml

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

Annotations

1 error
Check mk_all executed
Process completed with exit code 1.