Test with Lean nightly

Test with Lean nightly #161

Sign in to view logs

Triggered via schedule February 23, 2025 00:32

david-christiansen

main

Status Success

Total duration 6m 16s

Artifacts –

nightly.yml

on: schedule