Skip to content
Test with Lean nightly

Test with Lean nightly #190

Sign in to view logs

Test with Lean nightly

Test with Lean nightly #190

Triggered via schedule March 24, 2025 00:32
@david-christiansendavid-christiansen
⁠ 43afbe5
main
Status Success
Total duration 6m 49s
Artifacts –

nightly.yml

on: schedule
nightly-test
6m 40s
nightly-test
Fit to window
Zoom out
Zoom in