8000 Workflow runs · Columbus240/topology · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: Columbus240/topology

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[B] Rename complement_inclusion and move it Docker CI #99: Commit 3aaaa06 pushed by Columbus240
October 27, 2024 11:51 3m 18s master
master
October 27, 2024 11:51 3m 18s
Prove a pasting lemma for paths Docker CI #98: Commit 4449c35 pushed by Columbus240
October 27, 2024 11:07 3m 25s master
master
October 27, 2024 11:07 3m 25s
Prove a pasting lemma for paths Docker CI #97: Commit be694c6 pushed by Columbus240
October 27, 2024 10:29 3m 5s master
master
October 27, 2024 10:29 3m 5s
Examples/S1: Reformat imports Docker CI #96: Commit 3cfed06 pushed by Columbus240
October 27, 2024 09:42 3m 10s master
master
October 27, 2024 09:42 3m 10s
Lemmas about maps into Hausdorff spaces Docker CI #95: Commit 0566f47 pushed by Columbus240
October 26, 2024 06:46 3m 13s master
master
October 26, 2024 06:46 3m 13s
Introduce total boundedness, basic lemmas Docker CI #94: Commit b9ed33b pushed by Columbus240
October 20, 2024 08:18 3m 17s master
master
October 20, 2024 08:18 3m 17s
Formalize the Banach fixed-point theorem Docker CI #93: Commit 4b1f952 pushed by Columbus240
October 19, 2024 07:34 3m 32s master
master
October 19, 2024 07:34 3m 32s
Prove the extreme value theorem Docker CI #92: Commit e0e7398 pushed by Columbus240
October 5, 2024 10:18 3m 4s master
master
October 5, 2024 10:18 3m 4s
Prove the extreme value theorem Docker CI #91: Commit c9a7487 pushed by Columbus240
October 5, 2024 10:11 2m 59s master
master
October 5, 2024 10:11 2m 59s
[B] Remove term "beam" in favour of "ray" Docker CI #90: Commit aaf1e92 pushed by Columbus240
October 5, 2024 07:46 3m 2s master
master
October 5, 2024 07:46 3m 2s
Redo compact_image and compact_image_ens Docker CI #89: Commit 4208c8e pushed by Columbus240
October 5, 2024 07:41 3m 11s master
master
October 5, 2024 07:41 3m 11s
RTopology: R is not compact Docker CI #88: Commit 4c49b59 pushed by Columbus240
October 5, 2024 07:34 3m 1s master
master
October 5, 2024 07:34 3m 1s
RTopology: R is not compact Docker CI #87: Commit 5a51332 pushed by Columbus240
September 29, 2024 15:04 3m 10s master
master
September 29, 2024 15:04 3m 10s
[B] MetricSpaces: Reorder file, add more facts Docker CI #86: Commit 39b97b1 pushed by Columbus240
September 29, 2024 14:51 3m 17s master
master
September 29, 2024 14:51 3m 17s
[B] Remove Im_compose_inj_surj Docker CI #85: Commit a16d6e3 pushed by Columbus240
August 12, 2024 08:16 3m 32s master
master
August 12, 2024 08:16 3m 32s
Add Coq v8.19 to CI and OPAM-files Docker CI #84: Commit 157ab5f pushed by Columbus240
August 12, 2024 08:03 3m 11s master
master
August 12, 2024 08:03 3m 11s
[B] Avoid functions deprecated since coq v8.16 Docker CI #83: Commit d132fb5 pushed by Columbus240
August 12, 2024 07:57 3m 9s master
master
August 12, 2024 07:57 3m 9s
[B] Do not support coq < v8.16 anymore Docker CI #82: Commit 48cbef0 pushed by Columbus240
August 12, 2024 07:52 3m 6s master
master
August 12, 2024 07:52 3m 6s
Declare DirectedSets.DS_set as coercion Docker CI #81: Commit 6d54716 pushed by Columbus240
August 6, 2024 20:45 3m 7s master
master
August 6, 2024 20:45 3m 7s
0