Skip to content

Actions: ChihChengLiang/arrow

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 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
Verso take2 (#11) CI #8: Commit 42f948b pushed by ChihChengLiang
13m 58s main
main
13m 58s
Verso take2 CI #7: Pull request #11 synchronize by ChihChengLiang
2m 20s verso-take2
verso-take2
2m 20s
Verso take2 CI #6: Pull request #11 synchronize by ChihChengLiang
10s verso-take2
verso-take2
10s
Verso take2 CI #5: Pull request #11 opened by ChihChengLiang
11s verso-take2
verso-take2
11s
Revise LICENSE terms and add application instructions CI #4: Commit 7d196be pushed by ChihChengLiang
18m 35s main
main
18m 35s
fixed comment error CI #3: Commit 3d26c2c pushed by ChihChengLiang
7m 16s main
main
7m 16s
Doc take 2 (#10) CI #2: Commit 8fb13cf pushed by ChihChengLiang
16m 41s main
main
16m 41s
Doc take 2 CI #1: Pull request #10 opened by ChihChengLiang
1m 32s doc-take-2
doc-take-2
1m 32s
Simp prefer ifs (#9) Lean Action CI #66: Commit f4a031a pushed by ChihChengLiang
6m 6s main
main
6m 6s
Simp prefer ifs Lean Action CI #65: Pull request #9 opened by ChihChengLiang
5m 52s simp-prefer_ifs
simp-prefer_ifs
5m 52s
make prefer_ifs @simp Lean Action CI #64: Commit cf0b137 pushed by ChihChengLiang
5m 47s simp-prefer_ifs
simp-prefer_ifs
5m 47s
ocd Lean Action CI #63: Commit 7126cce pushed by ChihChengLiang
2m 0s main
main
2m 0s
rm one .lt Lean Action CI #62: Commit 598ed1f pushed by ChihChengLiang
2m 8s main
main
2m 8s
rm unused args, shrinks Lean Action CI #61: Commit b6e6f5f pushed by ChihChengLiang
1m 49s main
main
1m 49s
strict aiia can go Lean Action CI #60: Commit 306a442 pushed by ChihChengLiang
1m 45s main
main
1m 45s
prefer_gt* helpers can go Lean Action CI #59: Commit 1860c13 pushed by ChihChengLiang
1m 44s main
main
1m 44s
simplify not_lt Lean Action CI #58: Commit f693fa7 pushed by ChihChengLiang
1m 47s main
main
1m 47s
reduce trivial proofs prefer and prefer_expand Lean Action CI #57: Commit 20e35bc pushed by ChihChengLiang
1m 42s main
main
1m 42s
Simp final step (#8) Lean Action CI #56: Commit 8e1ebab pushed by ChihChengLiang
1m 45s main
main
1m 45s
Simp final step Lean Action CI #55: Pull request #8 opened by ChihChengLiang
1m 46s simp-final-step
simp-final-step
1m 46s
OCD picks Lean Action CI #54: Commit c432605 pushed by ChihChengLiang
2m 2s simp-final-step
simp-final-step
2m 2s
doc fix Lean Action CI #53: Commit 104d4d9 pushed by ChihChengLiang
1m 35s main
main
1m 35s
we don't need Linear order actually Lean Action CI #52: Commit bb90ce5 pushed by ChihChengLiang
2m 25s main
main
2m 25s
clean up notation Lean Action CI #51: Commit c29b30d pushed by ChihChengLiang
1m 59s main
main
1m 59s
fix function name Lean Action CI #50: Commit 5cc18f8 pushed by ChihChengLiang
1m 58s main
main
1m 58s