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

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
Sort _CoqProject file Docker CI #201: Commit 0aab07c pushed by Columbus240
October 15, 2023 08:36 4m 0s master
master
October 15, 2023 08:36 4m 0s
Restructure cardinals, finiteness and homeomorphisms Docker CI #200: Pull request #45 synchronize by Columbus240
October 15, 2023 08:27 4m 32s cardinals
cardinals
October 15, 2023 08:27 4m 32s
Families: Add lemmas about Included Docker CI #199: Commit 67674a7 pushed by Columbus240
October 15, 2023 08:12 4m 29s master
master
October 15, 2023 08:12 4m 29s
Restructure cardinals, finiteness and homeomorphisms Docker CI #198: Pull request #45 synchronize by Columbus240
October 15, 2023 08:12 4m 7s cardinals
cardinals
October 15, 2023 08:12 4m 7s
Restructure cardinals, finiteness and homeomorphisms Docker CI #197: Pull request #45 synchronize by Columbus240
October 8, 2023 09:26 3m 47s cardinals
cardinals
October 8, 2023 09:26 3m 47s
Add notes about code formatting and style Docker CI #196: Pull request #46 synchronize by Columbus240
October 8, 2023 09:25 4m 9s style
style
October 8, 2023 09:25 4m 9s
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