Skip to content

Actions: lengyijun/goldbach_tm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip Lean Action CI #61: Commit 1150846 pushed by lengyijun
October 13, 2024 05:23 2m 21s main
main
October 13, 2024 05:23 2m 21s
typo Lean Action CI #60: Commit c0867b4 pushed by lengyijun
October 13, 2024 04:31 2m 14s main
main
October 13, 2024 04:31 2m 14s
typo Lean Action CI #59: Commit 36d3ee5 pushed by lengyijun
October 13, 2024 03:08 2m 18s main
main
October 13, 2024 03:08 2m 18s
step_12_dvd Lean Action CI #58: Commit 98c0cea pushed by lengyijun
October 13, 2024 02:59 2m 30s main
main
October 13, 2024 02:59 2m 30s
step_12_dvd Lean Action CI #57: Commit 0fb9f18 pushed by lengyijun
October 13, 2024 00:50 2m 27s main
main
October 13, 2024 00:50 2m 27s
wip Lean Action CI #56: Commit f508dc7 pushed by lengyijun
October 13, 2024 00:12 2m 1s main
main
October 13, 2024 00:12 2m 1s
typo Lean Action CI #55: Commit 9177965 pushed by lengyijun
October 13, 2024 00:01 2m 20s main
main
October 13, 2024 00:01 2m 20s
typo Lean Action CI #54: Commit cf86f91 pushed by lengyijun
October 12, 2024 12:19 2m 10s main
main
October 12, 2024 12:19 2m 10s
step_12_board Lean Action CI #53: Commit 44b7f48 pushed by lengyijun
October 12, 2024 12:15 1m 45s main
main
October 12, 2024 12:15 1m 45s
wip Lean Action CI #52: Commit 7d04bd7 pushed by lengyijun
October 12, 2024 12:12 2m 20s main
main
October 12, 2024 12:12 2m 20s
wip Lean Action CI #51: Commit 17ebb55 pushed by lengyijun
October 12, 2024 12:11 2m 17s main
main
October 12, 2024 12:11 2m 17s
ring_nf Lean Action CI #50: Commit ed6f80e pushed by lengyijun
October 12, 2024 11:08 2m 26s main
main
October 12, 2024 11:08 2m 26s
lemma_12 Lean Action CI #49: Commit 180ea53 pushed by lengyijun
October 12, 2024 08:15 1m 50s main
main
October 12, 2024 08:15 1m 50s
lemma_12 Lean Action CI #48: Commit f55646b pushed by lengyijun
October 12, 2024 07:14 1m 48s main
main
October 12, 2024 07:14 1m 48s
lemma_12 Lean Action CI #47: Commit bf8a509 pushed by lengyijun
October 12, 2024 07:11 2m 16s main
main
October 12, 2024 07:11 2m 16s
lemma_12 Lean Action CI #46: Commit 3e4cee3 pushed by lengyijun
October 12, 2024 07:08 1m 48s main
main
October 12, 2024 07:08 1m 48s
lemma_12 Lean Action CI #45: Commit edfc44a pushed by lengyijun
October 12, 2024 05:55 1m 45s main
main
October 12, 2024 05:55 1m 45s
lemma_12 Lean Action CI #44: Commit e203ad6 pushed by lengyijun
October 12, 2024 04:38 1m 52s main
main
October 12, 2024 04:38 1m 52s
lemma_12 Lean Action CI #43: Commit 08f9553 pushed by lengyijun
October 12, 2024 04:36 2m 16s main
main
October 12, 2024 04:36 2m 16s
modeq Lean Action CI #42: Commit 2b0621d pushed by lengyijun
October 12, 2024 03:26 2m 19s main
main
October 12, 2024 03:26 2m 19s
simpler lemma_12_to_13 Lean Action CI #41: Commit 87827f3 pushed by lengyijun
October 11, 2024 03:49 1m 50s main
main
October 11, 2024 03:49 1m 50s
simpler proof Lean Action CI #40: Commit 52be155 pushed by lengyijun
October 11, 2024 03:49 1m 49s main
main
October 11, 2024 03:49 1m 49s
wip Lean Action CI #39: Commit 2a1ad4b pushed by lengyijun
October 11, 2024 03:40 2m 13s main
main
October 11, 2024 03:40 2m 13s
wip Lean Action CI #38: Commit 882c63b pushed by lengyijun
October 11, 2024 03:29 2m 10s main
main
October 11, 2024 03:29 2m 10s
wip Lean Action CI #37: Commit 03ca810 pushed by lengyijun
October 10, 2024 14:13 2m 21s main
main
October 10, 2024 14:13 2m 21s