Skip to content

Actions: artie2000/real_closed_field

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move stuff around Lean Action CI #69: Commit fc25239 pushed by artie2000
January 8, 2025 19:46 1m 21s master
master
January 8, 2025 19:46 1m 21s
sync Lean Action CI #68: Commit 4fb9b44 pushed by artie2000
January 7, 2025 23:17 17m 3s master
master
January 7, 2025 23:17 17m 3s
update Lean Action CI #67: Commit 3a9a591 pushed by artie2000
January 7, 2025 23:14 20m 16s master
master
January 7, 2025 23:14 20m 16s
minor changes Lean Action CI #66: Commit 652511a pushed by artie2000
January 7, 2025 22:14 20m 11s master
master
January 7, 2025 22:14 20m 11s
fix aesop stuff Lean Action CI #65: Commit fc38474 pushed by artie2000
January 7, 2025 21:37 20m 16s master
master
January 7, 2025 21:37 20m 16s
more fix Lean Action CI #64: Commit 475a60f pushed by artie2000
January 6, 2025 05:02 18m 56s master
master
January 6, 2025 05:02 18m 56s
rewirte and fully fix FormallyReal Lean Action CI #63: Commit 05754de pushed by artie2000
January 6, 2025 04:00 18m 52s master
master
January 6, 2025 04:00 18m 52s
more fix Lean Action CI #62: Commit f979640 pushed by artie2000
January 4, 2025 21:55 1m 54s master
master
January 4, 2025 21:55 1m 54s
update Lean Action CI #61: Commit 003c55b pushed by artie2000
January 4, 2025 14:35 1m 51s master
master
January 4, 2025 14:35 1m 51s
updated lean Lean Action CI #60: Commit 1004dcf pushed by artie2000
January 4, 2025 00:29 1m 20s master
master
January 4, 2025 00:29 1m 20s
move stuff around Lean Action CI #59: Commit fd76e35 pushed by artie2000
December 31, 2024 18:17 1m 51s artie2000-rename-lie
artie2000-rename-lie
December 31, 2024 18:17 1m 51s
move stuff around Lean Action CI #58: Commit fd76e35 pushed by artie2000
December 29, 2024 01:26 2m 4s master
master
December 29, 2024 01:26 2m 4s
generalise proof Lean Action CI #57: Commit f9abaf5 pushed by artie2000
December 25, 2024 00:02 1m 16s master
master
December 25, 2024 00:02 1m 16s
attempt Lean Action CI #56: Commit 16f772f pushed by artie2000
December 24, 2024 21:44 1m 18s master
master
December 24, 2024 21:44 1m 18s
change to no sum inductive version Lean Action CI #55: Commit be50e48 pushed by artie2000
December 24, 2024 19:05 1m 17s master
master
December 24, 2024 19:05 1m 17s
switch to IsSquare Lean Action CI #54: Commit 871aabc pushed by artie2000
December 24, 2024 00:45 1m 28s master
master
December 24, 2024 00:45 1m 28s
Remove class pattern Lean Action CI #53: Commit 105ec40 pushed by artie2000
December 22, 2024 18:19 1m 15s master
master
December 22, 2024 18:19 1m 15s
join up to cones Lean Action CI #52: Commit 8b3c961 pushed by artie2000
December 20, 2024 21:18 1m 27s master
master
December 20, 2024 21:18 1m 27s
docs Lean Action CI #51: Commit 199239d pushed by artie2000
December 19, 2024 02:57 1m 16s master
master
December 19, 2024 02:57 1m 16s
reorganise; add map and comap Lean Action CI #50: Commit 779d77a pushed by artie2000
December 19, 2024 02:51 1m 16s master
master
December 19, 2024 02:51 1m 16s
improve proofs, fix instance trouble Lean Action CI #49: Commit 3a1a79d pushed by artie2000
December 18, 2024 21:10 1m 18s master
master
December 18, 2024 21:10 1m 18s
add todos Lean Action CI #48: Commit 72f8a37 pushed by artie2000
December 18, 2024 03:32 1m 37s master
master
December 18, 2024 03:32 1m 37s
improve proofs Lean Action CI #47: Commit 31b5600 pushed by artie2000
December 18, 2024 03:28 1m 29s master
master
December 18, 2024 03:28 1m 29s
rewrite adjoin code to generalise Lean Action CI #46: Commit f27332a pushed by artie2000
December 17, 2024 03:32 1m 15s master
master
December 17, 2024 03:32 1m 15s
fix name Lean Action CI #45: Commit 99dddf8 pushed by artie2000
November 26, 2024 16:30 1m 17s master
master
November 26, 2024 16:30 1m 17s