Skip to content

Actions: coq-community/topology

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove the generalized Lindelöf Lemma Docker CI #162: Commit 68307f7 pushed by Columbus240
August 20, 2023 21:12 4m 44s master
master
August 20, 2023 21:12 4m 44s
Generalized Lindelöf Theorem Docker CI #161: Pull request #41 synchronize by Columbus240
August 20, 2023 19:58 7m 2s Columbus240:Lindelof
Columbus240:Lindelof
August 20, 2023 19:58 7m 2s
Complement is injective Docker CI #160: Commit 27c2a17 pushed by Columbus240
August 20, 2023 19:57 6m 23s master
master
August 20, 2023 19:57 6m 23s
Wip euclidean spaces Docker CI #159: Pull request #26 synchronize by Columbus240
August 20, 2023 19:55 4m 51s WIP_EuclideanSpaces
WIP_EuclideanSpaces
August 20, 2023 19:55 4m 51s
Start a typeclass hierarchy of topological properties Docker CI #158: Pull request #34 synchronize by Columbus240
August 20, 2023 19:46 6h 0m 23s SeparatedClasses
SeparatedClasses
August 20, 2023 19:46 6h 0m 23s
Generalized Lindelöf Theorem Docker CI #157: Pull request #41 synchronize by Columbus240
August 20, 2023 17:36 4m 5s Columbus240:Lindelof
Columbus240:Lindelof
August 20, 2023 17:36 4m 5s
Generalized Lindelöf Theorem Docker CI #156: Pull request #41 synchronize by Columbus240
August 20, 2023 16:34 4m 7s Columbus240:Lindelof
Columbus240:Lindelof
August 20, 2023 16:34 4m 7s
Prove the adjoint property of inverse images Docker CI #155: Commit f4add9a pushed by Columbus240
August 20, 2023 16:31 4m 2s master
master
August 20, 2023 16:31 4m 2s
Reprove countable_union2 with weaker axioms Docker CI #154: Commit 9216f75 pushed by Columbus240
August 20, 2023 16:30 4m 10s master
master
August 20, 2023 16:30 4m 10s
[B] Change some Export QArith ZArith to Import Docker CI #153: Commit 252229c pushed by Columbus240
August 19, 2023 11:43 4m 11s master
master
August 19, 2023 11:43 4m 11s
Generalized Lindelöf Theorem Docker CI #152: Pull request #41 synchronize by Columbus240
August 18, 2023 09:36 3m 42s Columbus240:Lindelof
Columbus240:Lindelof
August 18, 2023 09:36 3m 42s
Add CI and claim of support for coq v8.17 Docker CI #151: Commit 384098e pushed by Columbus240
August 17, 2023 14:09 4m 8s master
master
August 17, 2023 14:09 4m 8s
Use point_set coercion more often Docker CI #150: Commit 833407f pushed by Columbus240
August 17, 2023 13:20 4m 22s master
master
August 17, 2023 13:20 4m 22s
Fix build warnings Docker CI #149: Commit 962dc67 pushed by Columbus240
June 25, 2023 13:28 4m 19s master
master
June 25, 2023 13:28 4m 19s
Fix EOL Docker CI #148: Commit edbbddc pushed by stop-cran
June 22, 2023 19:16 4m 18s master
master
June 22, 2023 19:16 4m 18s
Fix build warnings (2) Docker CI #147: Commit 19de219 pushed by stop-cran
June 22, 2023 18:37 4m 24s master
master
June 22, 2023 18:37 4m 24s
Fix build warnings Docker CI #146: Commit b46b4cd pushed by stop-cran
June 22, 2023 17:22 4m 5s master
master
June 22, 2023 17:22 4m 5s