Skip to content

Actions: lengyijun/goldbach_tm

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

25 states is enough Lean Action CI #161: Commit 9a6772b pushed by lengyijun
November 17, 2024 05:04 1m 27s main
main
November 17, 2024 05:04 1m 27s
25 states is enough Lean Action CI #160: Commit cd711b7 pushed by lengyijun
November 17, 2024 03:30 1m 25s main
main
November 17, 2024 03:30 1m 25s
25 states is enough Lean Action CI #159: Commit 1541b97 pushed by lengyijun
November 17, 2024 03:05 2m 1s main
main
November 17, 2024 03:05 2m 1s
25 states is enough Lean Action CI #158: Commit 4ee2caf pushed by lengyijun
November 17, 2024 03:02 1m 35s main
main
November 17, 2024 03:02 1m 35s
25 states is enough Lean Action CI #157: Commit 77155ae pushed by lengyijun
November 17, 2024 02:59 1m 26s main
main
November 17, 2024 02:59 1m 26s
25 states is enough Lean Action CI #156: Commit 0a33368 pushed by lengyijun
November 17, 2024 02:57 1m 23s main
main
November 17, 2024 02:57 1m 23s
25 states is enough Lean Action CI #155: Commit 74a4e50 pushed by lengyijun
November 17, 2024 02:37 1m 20s main
main
November 17, 2024 02:37 1m 20s
25 states is enough Lean Action CI #154: Commit faef093 pushed by lengyijun
November 17, 2024 02:35 1m 28s main
main
November 17, 2024 02:35 1m 28s
25 states is enough Lean Action CI #153: Commit 6e9a258 pushed by lengyijun
November 17, 2024 02:19 1m 45s main
main
November 17, 2024 02:19 1m 45s
25 states is enough Lean Action CI #152: Commit 66c8f85 pushed by lengyijun
November 17, 2024 01:20 2m 28s main
main
November 17, 2024 01:20 2m 28s
only 25 states needed Lean Action CI #151: Commit adf63fc pushed by lengyijun
November 16, 2024 13:46 2m 40s main
main
November 16, 2024 13:46 2m 40s
only 25 states needed Lean Action CI #150: Commit 51e2374 pushed by lengyijun
November 16, 2024 13:46 2m 13s main
main
November 16, 2024 13:46 2m 13s
lake update Lean Action CI #149: Commit c0bbc9d pushed by lengyijun
November 16, 2024 13:38 2m 2s main
main
November 16, 2024 13:38 2m 2s
lake update Lean Action CI #148: Commit 4470181 pushed by lengyijun
November 16, 2024 12:17 2m 44s main
main
November 16, 2024 12:17 2m 44s
wip Lean Action CI #147: Commit 88608a2 pushed by lengyijun
November 16, 2024 05:51 1m 26s search_unvisited_branch
search_unvisited_branch
November 16, 2024 05:51 1m 26s
rm 22; 26 => 22 Lean Action CI #146: Commit 48f9700 pushed by lengyijun
November 16, 2024 04:52 1m 23s main
main
November 16, 2024 04:52 1m 23s
rename Lean Action CI #145: Commit f25aa44 pushed by lengyijun
November 16, 2024 04:48 1m 20s main
main
November 16, 2024 04:48 1m 20s
rename Lean Action CI #144: Commit d776c1e pushed by lengyijun
November 16, 2024 04:46 1m 23s main
main
November 16, 2024 04:46 1m 23s
rename Lean Action CI #143: Commit 54132b0 pushed by lengyijun
November 16, 2024 04:44 2m 12s main
main
November 16, 2024 04:44 2m 12s
rm 22; 26 => 22 Lean Action CI #142: Commit 2328ce5 pushed by lengyijun
November 16, 2024 04:10 2m 20s main
main
November 16, 2024 04:10 2m 20s
iterate Lean Action CI #141: Commit d8171d8 pushed by lengyijun
November 10, 2024 03:44 2m 41s main
main
November 10, 2024 03:44 2m 41s
better syntax Lean Action CI #140: Commit 2f8b112 pushed by lengyijun
November 9, 2024 01:41 1m 20s main
main
November 9, 2024 01:41 1m 20s
readme Lean Action CI #139: Commit 46a59f8 pushed by lengyijun
November 9, 2024 01:40 1m 40s main
main
November 9, 2024 01:40 1m 40s
readme Lean Action CI #138: Commit 616a5d0 pushed by lengyijun
November 9, 2024 01:40 1m 19s main
main
November 9, 2024 01:40 1m 19s
readme Lean Action CI #137: Commit 6e6cff6 pushed by lengyijun
November 9, 2024 01:39 1m 45s main
main
November 9, 2024 01:39 1m 45s