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
mooore doc Lean Action CI #21: Commit cb60014 pushed by wwylele
1h 35m 15s master
master
1h 35m 15s
mooore doc Lean Action CI #20: Commit 0e8c9f9 pushed by wwylele
7m 47s master
master
7m 47s
moooore doc Lean Action CI #19: Commit b053ab9 pushed by wwylele
2h 4m 7s master
master
2h 4m 7s
more doc Lean Action CI #18: Commit e298ab4 pushed by wwylele
1h 48m 44s master
master
1h 48m 44s
more doc Create Release #3: Commit b13db84 pushed by wwylele
11s master
master
11s
more doc Lean Action CI #17: Commit b13db84 pushed by wwylele
2h 0m 14s master
master
2h 0m 14s
doc build Lean Action CI #16: Commit 34649cd pushed by wwylele
1h 57m 54s master
master
1h 57m 54s
doc build Create Release #2: Commit 34649cd pushed by wwylele
10s master
master
10s
yes Lean Action CI #15: Commit 324f777 pushed by wwylele
6m 41s master
master
6m 41s
almost Lean Action CI #14: Commit 24b5c91 pushed by wwylele
6m 25s master
master
6m 25s
clean Lean Action CI #13: Commit d6cf9a3 pushed by wwylele
2h 5m 53s master
master
2h 5m 53s
CI Lean Action CI #12: Commit 4410b08 pushed by wwylele
3m 11s master
master
3m 11s
bound even more Lean Action CI #11: Commit 686b684 pushed by wwylele
1m 11s master
master
1m 11s
more bound Lean Action CI #10: Commit 3cc457f pushed by wwylele
1h 26m 52s master
master
1h 26m 52s
new bound Lean Action CI #9: Commit 0e2da24 pushed by wwylele
2h 0m 12s master
master
2h 0m 12s
wow Lean Action CI #8: Commit 08e5cc2 pushed by wwylele
1h 59m 53s master
master
1h 59m 53s
log Lean Action CI #7: Commit 32a5bda pushed by wwylele
2h 2m 30s master
master
2h 2m 30s
symmetry Lean Action CI #6: Commit 7fc53a8 pushed by wwylele
1h 42m 59s master
master
1h 42m 59s
bounded Lean Action CI #5: Commit 0b0f45f pushed by wwylele
1h 57m 7s master
master
1h 57m 7s
more Lean Action CI #4: Commit e29511e pushed by wwylele
1h 58m 33s master
master
1h 58m 33s
liouville Lean Action CI #3: Commit feae75a pushed by wwylele
2h 6m 52s master
master
2h 6m 52s
update Lean Action CI #2: Commit ff0eea4 pushed by wwylele
2h 0m 41s master
master
2h 0m 41s
Initial commit Lean Action CI #1: Commit 01ecd54 pushed by wwylele
10m 56s master
master
10m 56s
Initial commit Create Release #1: Commit 01ecd54 pushed by wwylele
10s master
master
10s