Skip to content
Daily CI Workflow

Daily CI Workflow #169

Sign in to view logs

Daily CI Workflow

Daily CI Workflow #169

Triggered via schedule December 29, 2025 02:25
@mkaratarakismkaratarakis
⁠ 16e4c58
master
Status Skipped
Total duration 1s
Artifacts –

daily.yml

on: schedule
Matrix: check-lean4checker
Fit to window
Zoom out
Zoom in