Skip to content

Actions: coq-community/topology

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formalize the Banach fixed-point theorem Docker CI #220: Commit 4b1f952 pushed by Columbus240
October 19, 2024 07:40 3m 17s master
master
October 19, 2024 07:40 3m 17s
Prove the extreme value theorem Docker CI #219: Commit e0e7398 pushed by Columbus240
October 5, 2024 10:22 3m 8s master
master
October 5, 2024 10:22 3m 8s
[B] Remove term "beam" in favour of "ray" Docker CI #218: Commit ebb093b pushed by Columbus240
October 5, 2024 10:09 3m 3s master
master
October 5, 2024 10:09 3m 3s
Redo compact_image and compact_image_ens Docker CI #217: Commit 4208c8e pushed by Columbus240
October 5, 2024 07:46 3m 1s master
master
October 5, 2024 07:46 3m 1s
Update list of ZornsLemma's files in README.md Docker CI #216: Commit f890bcf pushed by Columbus240
August 18, 2024 15:11 3m 11s master
master
August 18, 2024 15:11 3m 11s
Restructure cardinals, finiteness and homeomorphisms Docker CI #215: Pull request #45 synchronize by Columbus240
August 18, 2024 15:09 3m 17s cardinals
cardinals
August 18, 2024 15:09 3m 17s
Restructure cardinals, finiteness and homeomorphisms Docker CI #214: Pull request #45 synchronize by Columbus240
August 18, 2024 14:43 3m 8s cardinals
cardinals
August 18, 2024 14:43 3m 8s
Restructure cardinals, finiteness and homeomorphisms Docker CI #213: Pull request #45 synchronize by Columbus240
August 12, 2024 10:50 3m 7s cardinals
cardinals
August 12, 2024 10:50 3m 7s
[B] Remove Im_compose_inj_surj Docker CI #212: Commit a16d6e3 pushed by Columbus240
August 12, 2024 08:16 3m 50s master
master
August 12, 2024 08:16 3m 50s
Update for Coq v8.19, drop support of v8.15 and earlier Docker CI #211: Pull request #47 synchronize by Columbus240
August 6, 2024 20:26 4m 34s Fix_for_8.19
Fix_for_8.19
August 6, 2024 20:26 4m 34s
Restructure cardinals, finiteness and homeomorphisms Docker CI #210: Pull request #45 synchronize by Columbus240
August 6, 2024 20:26 3m 12s cardinals
cardinals
August 6, 2024 20:26 3m 12s
Declare DirectedSets.DS_set as coercion Docker CI #209: Commit 6d54716 pushed by Columbus240
August 6, 2024 20:25 3m 4s master
master
August 6, 2024 20:25 3m 4s
Restructure cardinals, finiteness and homeomorphisms Docker CI #208: Pull request #45 synchronize by Columbus240
August 6, 2024 20:23 3m 12s cardinals
cardinals
August 6, 2024 20:23 3m 12s
Update for Coq v8.19, drop support of v8.15 and earlier Docker CI #207: Pull request #47 synchronize by Columbus240
August 6, 2024 20:19 3m 2s Fix_for_8.19
Fix_for_8.19
August 6, 2024 20:19 3m 2s
Declare DirectedSets.DS_set as coercion Docker CI #206: Commit c74949c pushed by Columbus240
August 6, 2024 16:17 3m 7s master
master
August 6, 2024 16:17 3m 7s
Update for Coq v8.19, drop support of v8.15 and earlier Docker CI #205: Pull request #47 synchronize by Columbus240
August 6, 2024 16:16 3m 5s Fix_for_8.19
Fix_for_8.19
August 6, 2024 16:16 3m 5s
Redefine Subnet Docker CI #204: Pull request #48 opened by Columbus240
August 6, 2024 15:28 3m 6s Subnet
Subnet
August 6, 2024 15:28 3m 6s
Update for Coq v8.19, drop support of v8.15 and earlier Docker CI #203: Pull request #47 synchronize by Columbus240
August 6, 2024 15:15 3m 4s Fix_for_8.19
Fix_for_8.19
August 6, 2024 15:15 3m 4s
Update for Coq v8.19, drop support of v8.15 and earlier Docker CI #202: Pull request #47 opened by Columbus240
August 6, 2024 15:12 3m 12s Fix_for_8.19
Fix_for_8.19
August 6, 2024 15:12 3m 12s