Skip to content

Actions: VTrelat/ZFLean

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reservoir_check.yml
2 workflow runs
2 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lean Action CI Lean Action CI #2: Manually run by VTrelat
1m 33s main
main
1m 33s
Add reservoir_check workflow for Lean Action CI Lean Action CI #1: Commit cfc6620 pushed by VTrelat
37s main
main
37s