Skip to content

Actions: leanprover/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
ci CI #14: Pull request #14 synchronize by robsimmons
17m 24s robsimmons:versobox-2
robsimmons:versobox-2
17m 24s
ci CI #13: Pull request #14 synchronize by robsimmons
3m 39s robsimmons:versobox-2
robsimmons:versobox-2
3m 39s
ci CI #12: Pull request #14 synchronize by robsimmons
17m 49s robsimmons:versobox-2
robsimmons:versobox-2
17m 49s
ci CI #11: Pull request #14 opened by robsimmons
2m 42s robsimmons:versobox-2
robsimmons:versobox-2
2m 42s
ci CI #10: Pull request #12 opened by robsimmons
22m 1s nixos-settings
nixos-settings
22m 1s
ci CI #9: Pull request #11 synchronize by robsimmons
16m 52s nixos-comparator-2
nixos-comparator-2
16m 52s
ci CI #8: Pull request #11 synchronize by robsimmons
5m 51s nixos-comparator-2
nixos-comparator-2
5m 51s
ci CI #7: Pull request #11 opened by robsimmons
7m 19s nixos-comparator-2
nixos-comparator-2
7m 19s
ci CI #6: Pull request #10 synchronize by robsimmons
20m 11s nixos-settings
nixos-settings
20m 11s
ci CI #5: Pull request #10 opened by robsimmons
16m 34s nixos-settings
nixos-settings
16m 34s
ci CI #4: Pull request #9 synchronize by robsimmons
21m 26s nixos-comparator
nixos-comparator
21m 26s
ci CI #3: Pull request #9 opened by robsimmons
19m 48s nixos-comparator
nixos-comparator
19m 48s
ci CI #2: Pull request #8 synchronize by robsimmons
9m 20s robsimmons:incorporate-fixes
robsimmons:incorporate-fixes
9m 20s
ci CI #1: Pull request #8 opened by robsimmons
10m 39s robsimmons:incorporate-fixes
robsimmons:incorporate-fixes
10m 39s