Skip to content

Actions: wwylele/NerdSniping

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 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
4.33.0 Lean Action CI #41: Commit 71e3148 pushed by wwylele
42m 46s master
master
42m 46s
4.33.0 Create Release #8: Commit 71e3148 pushed by wwylele
9s master
master
9s
shrink import Lean Action CI #40: Commit bfd8339 pushed by wwylele
38m 54s master
master
38m 54s
update Lean Action CI #39: Commit 072fb6c pushed by wwylele
1h 48m 40s master
master
1h 48m 40s
update Create Release #7: Commit d0ab4b6 pushed by wwylele
10s master
master
10s
update Lean Action CI #38: Commit d0ab4b6 pushed by wwylele
5m 56s master
master
5m 56s
update Lean Action CI #37: Commit f294c2f pushed by wwylele
1h 43m 47s master
master
1h 43m 47s
update Create Release #6: Commit f294c2f pushed by wwylele
12s master
master
12s
cleanup Lean Action CI #36: Commit 652efa1 pushed by wwylele
1h 39m 53s master
master
1h 39m 53s
custom tactic Lean Action CI #35: Commit 5573c25 pushed by wwylele
1h 40m 27s master
master
1h 40m 27s
new bessel Lean Action CI #34: Commit 527b26e pushed by wwylele
1h 38m 34s master
master
1h 38m 34s
docgen update Lean Action CI #33: Commit edf2140 pushed by wwylele
1h 40m 54s master
master
1h 40m 54s
fix Create Release #5: Commit acc8e38 pushed by wwylele
11s master
master
11s
fix Lean Action CI #32: Commit acc8e38 pushed by wwylele
6m 9s master
master
6m 9s
update Create Release #4: Commit 1918c45 pushed by wwylele
16s master
master
16s
update Lean Action CI #31: Commit 1918c45 pushed by wwylele
1h 44m 28s master
master
1h 44m 28s
computable Lean Action CI #30: Commit 2227479 pushed by wwylele
1h 40m 5s master
master
1h 40m 5s
machine Lean Action CI #29: Commit 89e96a4 pushed by wwylele
7m 41s machine
machine
7m 41s
small update Lean Action CI #28: Commit 115d83b pushed by wwylele
6m 23s machine
machine
6m 23s
small update Lean Action CI #27: Commit 115d83b pushed by wwylele
2h 5m 19s master
master
2h 5m 19s
fix Lean Action CI #26: Commit ecd274c pushed by wwylele
2h 4m 28s master
master
2h 4m 28s
update Lean Action CI #25: Commit e537516 pushed by wwylele
1h 40m 11s master
master
1h 40m 11s
update Lean Action CI #24: Commit fe6fdf6 pushed by wwylele
1h 59m 17s master
master
1h 59m 17s
module Lean Action CI #23: Commit 2ca2975 pushed by wwylele
1m 59s master
master
1m 59s
readme Lean Action CI #22: Commit 3f27d31 pushed by wwylele
7m 15s master
master
7m 15s