Skip to content

Actions: coq-community/huffman

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #261: Scheduled
August 27, 2023 01:56 3m 6s master
master
August 27, 2023 01:56 3m 6s
Docker CI Docker CI #260: Scheduled
August 20, 2023 01:54 2m 52s master
master
August 20, 2023 01:54 2m 52s
Merge pull request #50 from coq-community/dune-coq-0.7 Docker CI #259: Commit 03d40bd pushed by palmskog
August 19, 2023 17:00 2m 46s master
master
August 19, 2023 17:00 2m 46s
use Dune-Coq 0.6 Docker CI #258: Pull request #50 synchronize by palmskog
August 19, 2023 16:54 2m 42s dune-coq-0.7
dune-coq-0.7
August 19, 2023 16:54 2m 42s
use Dune-Coq 0.6 Docker CI #257: Pull request #50 synchronize by Zimmi48
August 19, 2023 13:21 2m 52s dune-coq-0.7
dune-coq-0.7
August 19, 2023 13:21 2m 52s
use Dune-Coq 0.6 Docker CI #256: Pull request #50 synchronize by Zimmi48
August 19, 2023 13:15 2m 50s dune-coq-0.7
dune-coq-0.7
August 19, 2023 13:15 2m 50s
use Dune-Coq 0.6 Docker CI #255: Pull request #50 opened by palmskog
August 19, 2023 12:49 2m 47s dune-coq-0.7
dune-coq-0.7
August 19, 2023 12:49 2m 47s
Docker CI Docker CI #254: Scheduled
August 13, 2023 01:54 10m 35s master
master
August 13, 2023 01:54 10m 35s
check 8.18 in CI Docker CI #253: Commit 6ede553 pushed by palmskog
August 8, 2023 20:30 3m 2s master
master
August 8, 2023 20:30 3m 2s
Docker CI Docker CI #252: Scheduled
August 6, 2023 01:58 3m 5s master
master
August 6, 2023 01:58 3m 5s
Docker CI Docker CI #251: Scheduled
July 30, 2023 02:06 2m 39s master
master
July 30, 2023 02:06 2m 39s
Docker CI Docker CI #250: Scheduled
July 23, 2023 02:16 2m 40s master
master
July 23, 2023 02:16 2m 40s
Docker CI Docker CI #249: Scheduled
July 16, 2023 02:51 2m 49s master
master
July 16, 2023 02:51 2m 49s
Docker CI Docker CI #248: Scheduled
July 9, 2023 02:47 3m 4s master
master
July 9, 2023 02:47 3m 4s
Merge pull request #49 from coq-community/fix-deprec Docker CI #247: Commit 0b26d1f pushed by palmskog
July 8, 2023 22:13 2m 47s master
master
July 8, 2023 22:13 2m 47s
Fix deprecations Docker CI #246: Pull request #49 opened by palmskog
July 8, 2023 22:08 2m 47s fix-deprec
fix-deprec
July 8, 2023 22:08 2m 47s
Merge pull request #48 from coq-community/fix-ci Docker CI #245: Commit 11831ee pushed by palmskog
July 8, 2023 21:13 2m 58s master
master
July 8, 2023 21:13 2m 58s
update metadata and CI Docker CI #244: Pull request #48 opened by palmskog
July 8, 2023 21:07 2m 58s fix-ci
fix-ci
July 8, 2023 21:07 2m 58s
Docker CI Docker CI #243: Scheduled
July 2, 2023 02:45 3m 4s master
master
July 2, 2023 02:45 3m 4s
Docker CI Docker CI #242: Scheduled
June 25, 2023 02:52 2m 54s master
master
June 25, 2023 02:52 2m 54s
Docker CI Docker CI #241: Scheduled
June 18, 2023 02:36 2m 55s master
master
June 18, 2023 02:36 2m 55s
Docker CI Docker CI #240: Scheduled
June 11, 2023 02:45 2m 56s master
master
June 11, 2023 02:45 2m 56s