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

Restructure cardinals, finiteness and homeomorphisms Docker CI #195: Pull request #45 synchronize by Columbus240
October 8, 2023 08:29 4m 30s cardinals
cardinals
October 8, 2023 08:29 4m 30s
Add notes about code formatting and style Docker CI #194: Pull request #46 synchronize by Columbus240
September 30, 2023 20:44 4m 33s style
style
September 30, 2023 20:44 4m 33s
Restructure cardinals, finiteness and homeomorphisms Docker CI #193: Pull request #45 synchronize by Columbus240
September 16, 2023 16:17 4m 11s cardinals
cardinals
September 16, 2023 16:17 4m 11s
Restructure cardinals, finiteness and homeomorphisms Docker CI #192: Pull request #45 synchronize by Columbus240
September 16, 2023 15:57 4m 3s cardinals
cardinals
September 16, 2023 15:57 4m 3s
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