Skip to content

Actions: ChihChengLiang/arrow

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Simp agree on (#7) Lean Action CI #49: Commit 0f3739e pushed by ChihChengLiang
6m 1s main
main
6m 1s
Simp agree on Lean Action CI #48: Pull request #7 opened by ChihChengLiang
5m 41s simp-agree-on
simp-agree-on
5m 41s
comment Lean Action CI #47: Commit 2f7beea pushed by ChihChengLiang
2m 3s simp-agree-on
simp-agree-on
2m 3s
nitpick Lean Action CI #46: Commit 449726a pushed by ChihChengLiang
1m 51s simp-agree-on
simp-agree-on
1m 51s
ranking of two can be handled gracely Lean Action CI #45: Commit 6556528 pushed by ChihChengLiang
1m 40s simp-agree-on
simp-agree-on
1m 40s
dot style Lean Action CI #44: Commit cfab0e6 pushed by ChihChengLiang
1m 41s simp-agree-on
simp-agree-on
1m 41s