Skip to content
Discover `lean-pr-testing` branches

fix #1

Sign in to view logs

fix

fix #1

Triggered via push June 13, 2025 15:29
@Rob23obaRob23oba
pushed 56ab5d3
nightly-testing
Status Failure
Total duration 52s
Artifacts –

discover-lean-pr-testing.yml

on: push
discover-lean-pr-testing
50s
discover-lean-pr-testing
Fit to window
Zoom out
Zoom in

Annotations

1 error
discover-lean-pr-testing
Process completed with exit code 2.