Skip to content

Actions: lfglabs-dev/verity

Actions

Runner Lean validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runner-lean-validation.yml
7 workflow runs
7 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
Runner Lean validation Runner Lean validation #7: Manually run by Th0rgal
4m 50s main
main
4m 50s
Runner Lean validation Runner Lean validation #6: Manually run by Th0rgal
6m 6s main
main
6m 6s
Runner Lean validation Runner Lean validation #5: Manually run by Th0rgal
5m 8s main
main
5m 8s
Runner Lean validation Runner Lean validation #4: Manually run by Th0rgal
2m 25s main
main
2m 25s
Runner Lean validation Runner Lean validation #3: Manually run by Th0rgal
20m 28s main
main
20m 28s
Runner Lean validation Runner Lean validation #2: Manually run by Th0rgal
29m 45s main
main
29m 45s
Runner Lean validation Runner Lean validation #1: Manually run by Th0rgal
11m 36s main
main
11m 36s