Skip to content

Actions: wwylele/Compass

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 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 Create Release #4: Commit 6062840 pushed by wwylele
11s master
master
11s
4.33.0 Lean Action CI #29: Commit 6062840 pushed by wwylele
41m 58s master
master
41m 58s
update Create Release #3: Commit db7d8f9 pushed by wwylele
11s master
master
11s
update Lean Action CI #28: Commit db7d8f9 pushed by wwylele
41m 5s master
master
41m 5s
docs Lean Action CI #27: Commit 312d4db pushed by wwylele
42m 17s master
master
42m 17s
dense constructible Lean Action CI #26: Commit b31f74b pushed by wwylele
41m 10s master
master
41m 10s
shorten Lean Action CI #25: Commit 1970328 pushed by wwylele
34m 16s master
master
34m 16s
reorder not in the statement so it reads more natural Lean Action CI #24: Commit 36b23ef pushed by wwylele
41m 42s master
master
41m 42s
simplify Lean Action CI #23: Commit fe5fc2d pushed by wwylele
41m 41s master
master
41m 41s
more angles Lean Action CI #22: Commit 3091ca4 pushed by wwylele
41m 25s master
master
41m 25s
update Create Release #2: Commit 9a1a6bc pushed by wwylele
12s master
master
12s
update Lean Action CI #21: Commit 9a1a6bc pushed by wwylele
34m 10s master
master
34m 10s
mk all Lean Action CI #20: Commit 0c1c4d6 pushed by wwylele
37m 6s master
master
37m 6s
polygon Lean Action CI #19: Commit 6867878 pushed by wwylele
36m 40s master
master
36m 40s
fix doc link Lean Action CI #18: Commit 4b51f63 pushed by wwylele
34m 20s master
master
34m 20s
restructure Lean Action CI #17: Commit 1352a83 pushed by wwylele
36m 26s master
master
36m 26s
readme Lean Action CI #16: Commit b37fd40 pushed by wwylele
1h 43m 41s master
master
1h 43m 41s
another one Lean Action CI #15: Commit 91390ab pushed by wwylele
1h 21m 9s master
master
1h 21m 9s
another one Create Release #1: Commit 91390ab pushed by wwylele
10s master
master
10s
double cube? Lean Action CI #14: Commit fad0d54 pushed by wwylele
1h 39m 12s master
master
1h 39m 12s
readme Lean Action CI #13: Commit 9850808 pushed by wwylele
1h 40m 30s master
master
1h 40m 30s
oops Lean Action CI #12: Commit 046a148 pushed by wwylele
1h 35m 46s master
master
1h 35m 46s
one direction Lean Action CI #11: Commit cb8a209 pushed by wwylele
1h 39m 51s master
master
1h 39m 51s
almost Lean Action CI #10: Commit 18ba991 pushed by wwylele
1h 36m 7s master
master
1h 36m 7s
why is this so long Lean Action CI #9: Commit 85522a4 pushed by wwylele
1h 40m 44s master
master
1h 40m 44s