Skip to content

Actions: rocq-community/fourcolor

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #1012: Scheduled
June 1, 2025 05:18 4m 55s master
master
June 1, 2025 05:18 4m 55s
Docker CI Docker CI #1011: Scheduled
May 25, 2025 05:17 5m 12s master
master
May 25, 2025 05:17 5m 12s
Docker CI Docker CI #1010: Scheduled
May 18, 2025 05:17 4m 57s master
master
May 18, 2025 05:17 4m 57s
Docker CI Docker CI #1009: Scheduled
May 11, 2025 05:17 5m 18s master
master
May 11, 2025 05:17 5m 18s
Docker CI Docker CI #1008: Scheduled
May 4, 2025 05:17 5m 13s master
master
May 4, 2025 05:17 5m 13s
Docker CI Docker CI #1007: Scheduled
April 27, 2025 05:17 7m 20s master
master
April 27, 2025 05:17 7m 20s
Merge pull request #72 from rocq-community/mc1354 Docker CI #1006: Commit dff5657 pushed by proux01
April 25, 2025 06:53 5m 8s master
master
April 25, 2025 06:53 5m 8s
Docker CI Docker CI #1005: Scheduled
April 20, 2025 05:17 17m 16s master
master
April 20, 2025 05:17 17m 16s
Docker CI Docker CI #1004: Scheduled
April 13, 2025 05:22 17m 22s master
master
April 13, 2025 05:22 17m 22s
Docker CI Docker CI #1003: Scheduled
April 6, 2025 05:16 17m 14s master
master
April 6, 2025 05:16 17m 14s
Docker CI Docker CI #1002: Scheduled
March 30, 2025 05:16 16m 44s master
master
March 30, 2025 05:16 16m 44s
80 char lines Docker CI #1001: Commit 18f0f29 pushed by ybertot
March 25, 2025 12:45 17m 17s master
master
March 25, 2025 12:45 17m 17s
Lock gedge, gnode and gface Docker CI #1000: Pull request #73 synchronize by Tragicus
March 25, 2025 08:09 17m 20s Tragicus:rocq19987
Tragicus:rocq19987
March 25, 2025 08:09 17m 20s
Docker CI Docker CI #999: Scheduled
March 23, 2025 05:16 17m 3s master
master
March 23, 2025 05:16 17m 3s
Lock gedge, gnode and gface Docker CI #998: Pull request #73 opened by Tragicus
March 21, 2025 16:15 17m 32s Tragicus:rocq19987
Tragicus:rocq19987
March 21, 2025 16:15 17m 32s
Docker CI Docker CI #997: Scheduled
March 16, 2025 05:15 17m 3s master
master
March 16, 2025 05:15 17m 3s
Docker CI Docker CI #996: Scheduled
March 9, 2025 05:13 17m 19s master
master
March 9, 2025 05:13 17m 19s
Docker CI Docker CI #995: Scheduled
March 2, 2025 05:17 17m 9s master
master
March 2, 2025 05:17 17m 9s
Adapt to https://github.com/math-comp/math-comp/pull/1354 Docker CI #994: Pull request #72 opened by proux01
February 28, 2025 12:14 9m 38s mc1354
mc1354
February 28, 2025 12:14 9m 38s
Merge pull request #71 from coq-community/opam Docker CI #993: Commit de7e174 pushed by proux01
February 25, 2025 10:02 18m 54s master
master
February 25, 2025 10:02 18m 54s
Update opam files following removal of Stdlib dep Docker CI #992: Pull request #71 opened by proux01
February 25, 2025 09:44 17m 22s opam
opam
February 25, 2025 09:44 17m 22s
Merge pull request #70 from coq-community/fix-macos Docker CI #991: Commit b23e3a8 pushed by proux01
February 24, 2025 14:08 26m 10s master
master
February 24, 2025 14:08 26m 10s
Fix sed commands for MacOS Docker CI #990: Pull request #70 opened by proux01
February 24, 2025 14:07 15s fix-macos
fix-macos
February 24, 2025 14:07 15s
Docker CI Docker CI #989: Scheduled
February 23, 2025 05:15 17m 17s master
master
February 23, 2025 05:15 17m 17s
Merge pull request #68 from coq-community/no-stdlib Docker CI #988: Commit ed53286 pushed by proux01
February 22, 2025 10:34 17m 2s master
master
February 22, 2025 10:34 17m 2s