Skip to content

Actions: lengyijun/goldbach_tm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
162 workflow runs
162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

state-5 recursive Lean Action CI #12: Commit 06069ea pushed by lengyijun
October 6, 2024 12:13 2m 10s main
main
October 6, 2024 12:13 2m 10s
state-5 recursive Lean Action CI #11: Commit ccf14be pushed by lengyijun
October 6, 2024 12:12 1m 46s main
main
October 6, 2024 12:12 1m 46s
state-5 recursive Lean Action CI #10: Commit df780bb pushed by lengyijun
October 6, 2024 12:06 1m 51s main
main
October 6, 2024 12:06 1m 51s
state-5 recursive Lean Action CI #9: Commit a2b511d pushed by lengyijun
October 6, 2024 12:04 2m 11s main
main
October 6, 2024 12:04 2m 11s
wip Lean Action CI #8: Commit 182d569 pushed by lengyijun
October 6, 2024 11:21 2m 20s main
main
October 6, 2024 11:21 2m 20s
wip Lean Action CI #7: Commit b1b340b pushed by lengyijun
October 6, 2024 10:31 1m 56s main
main
October 6, 2024 10:31 1m 56s
wip Lean Action CI #6: Commit 0695275 pushed by lengyijun
October 6, 2024 10:14 1m 52s main
main
October 6, 2024 10:14 1m 52s
wip Lean Action CI #5: Commit c6a3376 pushed by lengyijun
October 6, 2024 10:04 1m 48s main
main
October 6, 2024 10:04 1m 48s
wip Lean Action CI #4: Commit e63abee pushed by lengyijun
October 6, 2024 07:57 1m 51s main
main
October 6, 2024 07:57 1m 51s
wip Lean Action CI #3: Commit ab175bb pushed by lengyijun
October 6, 2024 07:54 2m 11s main
main
October 6, 2024 07:54 2m 11s
change structure Lean Action CI #2: Commit 0f63c8c pushed by lengyijun
October 6, 2024 07:49 1m 0s main
main
October 6, 2024 07:49 1m 0s
first commit Lean Action CI #1: Commit a0fd225 pushed by lengyijun
October 6, 2024 05:12 2m 34s main
main
October 6, 2024 05:12 2m 34s