Skip to content

Actions: coq-community/topology

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add notes about code formatting and style Docker CI #191: Pull request #46 synchronize by Columbus240
September 16, 2023 15:51 4m 29s style
style
September 16, 2023 15:51 4m 29s
[B] Add implicit argument to cardinal Docker CI #190: Commit a9209e8 pushed by Columbus240
September 16, 2023 15:51 3m 56s master
master
September 16, 2023 15:51 3m 56s
Fix build on Coq v8.12 Docker CI #189: Commit 24fee67 pushed by Columbus240
September 16, 2023 15:06 4m 53s master
master
September 16, 2023 15:06 4m 53s
Dune: increase version. include subdirs Docker CI #188: Commit 12dd48f pushed by Columbus240
September 16, 2023 14:55 4m 17s master
master
September 16, 2023 14:55 4m 17s
Add notes about code formatting and style Docker CI #184: Pull request #46 opened by Columbus240
September 16, 2023 14:09 2m 28s style
style
September 16, 2023 14:09 2m 28s
Restructure cardinals, finiteness and homeomorphisms Docker CI #183: Pull request #45 synchronize by Columbus240
September 16, 2023 14:07 2m 30s cardinals
cardinals
September 16, 2023 14:07 2m 30s
[B] Change & add lemmas in FunctionPropertiesEns Docker CI #181: Commit 4f34792 pushed by Columbus240
September 16, 2023 13:56 2m 30s master
master
September 16, 2023 13:56 2m 30s
Axioms T0, T1, T3 are hereditary Docker CI #180: Commit e795a32 pushed by Columbus240
September 5, 2023 07:53 4m 20s master
master
September 5, 2023 07:53 4m 20s
Connectedness: Improve support for Mangle Names Docker CI #179: Commit 8b8c8ef pushed by Columbus240
September 5, 2023 07:27 4m 47s master
master
September 5, 2023 07:27 4m 47s
Add intermediate lemma for complete Docker CI #178: Commit 0cbcdfa pushed by Columbus240
September 2, 2023 07:19 4m 39s master
master
September 2, 2023 07:19 4m 39s
Rework Completeness and Completion Docker CI #177: Pull request #44 synchronize by Columbus240
August 22, 2023 13:37 8m 28s complete_metrics
complete_metrics
August 22, 2023 13:37 8m 28s
Define subcover does not need topology Docker CI #176: Commit 55b4655 pushed by Columbus240
August 22, 2023 13:37 6m 27s master
master
August 22, 2023 13:37 6m 27s
Rework Completeness and Completion Docker CI #175: Pull request #44 synchronize by Columbus240
August 22, 2023 13:35 6m 58s complete_metrics
complete_metrics
August 22, 2023 13:35 6m 58s
[B] Use Im in statements about Family Complement Docker CI #174: Commit 6ce87b8 pushed by Columbus240
August 22, 2023 13:34 4m 21s master
master
August 22, 2023 13:34 4m 21s
Fix _CoqProject. Remove a moved file Docker CI #173: Commit 2c14fee pushed by Columbus240
August 21, 2023 17:58 4m 29s master
master
August 21, 2023 17:58 4m 29s
Rework Completeness and Completion Docker CI #172: Pull request #44 opened by Columbus240
August 21, 2023 16:29 4m 35s complete_metrics
complete_metrics
August 21, 2023 16:29 4m 35s
Some technical lemmata Docker CI #171: Commit bd15b4b pushed by Columbus240
August 21, 2023 16:19 4m 28s master
master
August 21, 2023 16:19 4m 28s
CSB implies LEM Docker CI #170: Commit bd6f2af pushed by Columbus240
August 21, 2023 16:18 4m 16s master
master
August 21, 2023 16:18 4m 16s
CSB implies LEM Docker CI #169: Pull request #28 synchronize by Columbus240
August 21, 2023 11:16 4m 9s ReverseCSB
ReverseCSB
August 21, 2023 11:16 4m 9s
Add AddSubtract to _CoqProject Docker CI #168: Commit a29a228 pushed by Columbus240
August 21, 2023 11:16 5m 1s master
master
August 21, 2023 11:16 5m 1s
CSB implies LEM Docker CI #167: Pull request #28 synchronize by Columbus240
August 21, 2023 08:45 4m 26s ReverseCSB
ReverseCSB
August 21, 2023 08:45 4m 26s
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