Skip to content

Actions: coq-community/topology

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-ci.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

meta.yml: Update CI settings Docker CI #166: Commit c38af0a pushed by Columbus240
August 21, 2023 08:44 4m 9s master
master
August 21, 2023 08:44 4m 9s
CSB implies LEM Docker CI #165: Pull request #28 synchronize by Columbus240
August 20, 2023 23:32 5m 56s ReverseCSB
ReverseCSB
August 20, 2023 23:32 5m 56s
Injective images of countable sets are countable Docker CI #164: Commit 83c8673 pushed by Columbus240
August 20, 2023 23:31 4m 13s master
master
August 20, 2023 23:31 4m 13s
Add bounded sets. Cauchy sequences are bounded Docker CI #163: Commit 7f84580 pushed by Columbus240
August 20, 2023 21:13 6m 35s master
master
August 20, 2023 21:13 6m 35s
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