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

chore: adaptations for nightly-2025-07-22 #2

Sign in to view logs

chore: adaptations for nightly-2025-07-22

chore: adaptations for nightly-2025-07-22 #2

Triggered via push July 23, 2025 10:15
@Rob23obaRob23oba
pushed e81ac6a
nightly-testing
Status Success
Total duration 43s
Artifacts –

discover-lean-pr-testing.yml

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