Skip to content

Actions: coq-community/corn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #208 from coq-community/stdlib_repo Docker CI #86: Commit e53316b pushed by Lysxia
September 17, 2024 07:58 10m 31s master
master
September 17, 2024 07:58 10m 31s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #85: Pull request #208 opened by proux01
September 17, 2024 06:10 10m 30s stdlib_repo
stdlib_repo
September 17, 2024 06:10 10m 30s
Merge pull request #207 from coq-community/update-maintainer Docker CI #84: Commit 7dc1ada pushed by spitters
August 19, 2024 12:27 10m 33s master
master
August 19, 2024 12:27 10m 33s
Update maintainer list in README. Docker CI #83: Pull request #207 opened by Zimmi48
August 19, 2024 12:13 10m 34s update-maintainer
update-maintainer
August 19, 2024 12:13 10m 34s
Merge pull request #206 from andres-erbsen/remove-Ndigits Docker CI #82: Commit 5e74c29 pushed by proux01
April 17, 2024 13:46 11m 15s master
master
April 17, 2024 13:46 11m 15s
remove unneeded Ndigits dependency (adapt to coq/coq#18936) Docker CI #81: Pull request #206 opened by andres-erbsen
April 16, 2024 04:15 10m 44s andres-erbsen:remove-Ndigits
andres-erbsen:remove-Ndigits
April 16, 2024 04:15 10m 44s
Merge pull request #205 from coq-community/coq_18880 Docker CI #80: Commit c30c93a pushed by proux01
April 12, 2024 08:59 10m 49s master
master
April 12, 2024 08:59 10m 49s
Adapt to https://github.com/coq/coq/pull/18880 Docker CI #79: Pull request #205 opened by proux01
April 12, 2024 08:09 11m 47s coq_18880
coq_18880
April 12, 2024 08:09 11m 47s
Merge pull request #203 from coq-community/coq_18590 Docker CI #78: Commit bdb702d pushed by proux01
February 1, 2024 10:26 37m 31s master
master
February 1, 2024 10:26 37m 31s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #77: Pull request #203 opened by proux01
February 1, 2024 10:15 11m 0s coq_18590
coq_18590
February 1, 2024 10:15 11m 0s
Merge pull request #202 from Villetaneuse/rm_arith_files Docker CI #76: Commit 79e7ee7 pushed by spitters
November 10, 2023 09:36 15m 52s master
master
November 10, 2023 09:36 15m 52s
Adapt to Coq/Coq#18164 Docker CI #75: Pull request #202 synchronize by Villetaneuse
November 10, 2023 08:50 18m 32s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
November 10, 2023 08:50 18m 32s
Adapt to Coq/Coq#18164 Docker CI #74: Pull request #202 opened by Villetaneuse
November 8, 2023 11:49 18m 10s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
November 8, 2023 11:49 18m 10s
Merge pull request #201 from coq-community/coq-8.18 Docker CI #73: Commit a6158dc pushed by Zimmi48
October 16, 2023 15:39 21m 24s master
master
October 16, 2023 15:39 21m 24s
Update testing to Coq 8.18. Docker CI #72: Pull request #201 opened by Zimmi48
October 16, 2023 14:43 20m 47s coq-8.18
coq-8.18
October 16, 2023 14:43 20m 47s
Merge pull request #199 from coq-community/master+adapting-cast-using… Docker CI #71: Commit f865fa8 pushed by proux01
October 5, 2023 14:22 17m 25s master
master
October 5, 2023 14:22 17m 25s
Adapting to interpretation of (x:T) now activating scope for T if any. Docker CI #70: Pull request #199 opened by proux01
September 26, 2023 09:11 2h 8m 45s master+adapting-cast-using-scope-bound-to-type
master+adapting-cast-using-scope-bound-to-type
September 26, 2023 09:11 2h 8m 45s