Skip to content

Actions: coq-community/fourcolor

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #912: Scheduled
July 4, 2024 05:13 55m 27s master
master
July 4, 2024 05:13 55m 27s
Docker CI Docker CI #911: Scheduled
July 3, 2024 05:13 42m 50s master
master
July 3, 2024 05:13 42m 50s
Merge pull request #60 from coq-community/add-hal-paper Docker CI #910: Commit c9429eb pushed by palmskog
July 2, 2024 22:26 42m 55s master
master
July 2, 2024 22:26 42m 55s
add HAL paper in meta.yml and README.md Docker CI #909: Pull request #60 opened by palmskog
July 2, 2024 21:41 43m 32s add-hal-paper
add-hal-paper
July 2, 2024 21:41 43m 32s
Merge pull request #59 from coq-community/deprecation-Qint Docker CI #908: Commit 250cd38 pushed by pi8027
July 2, 2024 14:06 43m 56s master
master
July 2, 2024 14:06 43m 56s
Treat a deprecation warning about Qint Docker CI #907: Pull request #59 synchronize by pi8027
July 2, 2024 12:48 42m 55s deprecation-Qint
deprecation-Qint
July 2, 2024 12:48 42m 55s
Treat a deprecation warning about Qint Docker CI #906: Pull request #59 synchronize by pi8027
July 2, 2024 12:23 42m 48s deprecation-Qint
deprecation-Qint
July 2, 2024 12:23 42m 48s
Treat a deprecation warning about Qint Docker CI #905: Pull request #59 opened by pi8027
July 2, 2024 11:59 42m 53s deprecation-Qint
deprecation-Qint
July 2, 2024 11:59 42m 53s
Docker CI Docker CI #904: Scheduled
July 2, 2024 05:12 44m 5s master
master
July 2, 2024 05:12 44m 5s
Docker CI Docker CI #903: Scheduled
July 1, 2024 05:12 42m 42s master
master
July 1, 2024 05:12 42m 42s
Docker CI Docker CI #902: Scheduled
June 30, 2024 05:11 43m 11s master
master
June 30, 2024 05:11 43m 11s
Merge pull request #58 from coq-community/mc_1223 Docker CI #901: Commit 027788b pushed by proux01
June 29, 2024 10:55 43m 17s master
master
June 29, 2024 10:55 43m 17s
Docker CI Docker CI #900: Scheduled
June 29, 2024 05:13 43m 1s master
master
June 29, 2024 05:13 43m 1s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #899: Pull request #58 opened by proux01
June 28, 2024 07:29 45m 1s mc_1223
mc_1223
June 28, 2024 07:29 45m 1s
Docker CI Docker CI #898: Scheduled
June 28, 2024 05:11 44m 2s master
master
June 28, 2024 05:11 44m 2s
Docker CI Docker CI #897: Scheduled
June 27, 2024 05:12 42m 31s master
master
June 27, 2024 05:12 42m 31s
Docker CI Docker CI #896: Scheduled
June 26, 2024 05:11 1h 8m 14s master
master
June 26, 2024 05:11 1h 8m 14s
Docker CI Docker CI #895: Scheduled
June 25, 2024 05:12 43m 39s master
master
June 25, 2024 05:12 43m 39s
Docker CI Docker CI #894: Scheduled
June 24, 2024 05:12 20m 7s master
master
June 24, 2024 05:12 20m 7s
Docker CI Docker CI #893: Scheduled
June 23, 2024 05:11 19m 56s master
master
June 23, 2024 05:11 19m 56s
Docker CI Docker CI #892: Scheduled
June 22, 2024 05:12 20m 1s master
master
June 22, 2024 05:12 20m 1s
Docker CI Docker CI #891: Scheduled
June 21, 2024 05:12 20m 21s master
master
June 21, 2024 05:12 20m 21s
Docker CI Docker CI #890: Scheduled
June 20, 2024 05:11 20m 21s master
master
June 20, 2024 05:11 20m 21s
Adapt to Coq PR #18591: better refolding of addn induces now useless addnE Docker CI #889: Pull request #57 opened by herbelin
June 19, 2024 13:25 20m 42s herbelin:master+adapt-coq-pr18591-simpl-never-refolding
herbelin:master+adapt-coq-pr18591-simpl-never-refolding
June 19, 2024 13:25 20m 42s
Docker CI Docker CI #888: Scheduled
June 19, 2024 05:12 20m 21s master
master
June 19, 2024 05:12 20m 21s