Skip to content

Actions: MiniZinc/docker-build-environment

Actions

Create and publish a Docker image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-image.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.
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create and publish a Docker image Create and publish a Docker image #223: Scheduled
August 12, 2024 00:33 14m 45s develop
develop
August 12, 2024 00:33 14m 45s
Create and publish a Docker image Create and publish a Docker image #222: Scheduled
August 5, 2024 00:33 9m 37s develop
develop
August 5, 2024 00:33 9m 37s
Create and publish a Docker image Create and publish a Docker image #221: Scheduled
July 29, 2024 00:33 8m 17s develop
develop
July 29, 2024 00:33 8m 17s
Create and publish a Docker image Create and publish a Docker image #220: Scheduled
July 22, 2024 00:33 11m 11s develop
develop
July 22, 2024 00:33 11m 11s
Create and publish a Docker image Create and publish a Docker image #219: Scheduled
July 15, 2024 00:32 11m 57s develop
develop
July 15, 2024 00:32 11m 57s
Create and publish a Docker image Create and publish a Docker image #218: Scheduled
July 8, 2024 00:32 9m 35s develop
develop
July 8, 2024 00:32 9m 35s
Create and publish a Docker image Create and publish a Docker image #217: Scheduled
July 1, 2024 00:35 11m 20s develop
develop
July 1, 2024 00:35 11m 20s
Create and publish a Docker image Create and publish a Docker image #216: Scheduled
June 24, 2024 00:32 9m 15s develop
develop
June 24, 2024 00:32 9m 15s
Create and publish a Docker image Create and publish a Docker image #215: Scheduled
June 17, 2024 00:32 9m 51s develop
develop
June 17, 2024 00:32 9m 51s
Add --break-system-packages to fix sphinx image Create and publish a Docker image #214: Commit 741136b pushed by cyderize
June 10, 2024 03:12 12m 49s develop
develop
June 10, 2024 03:12 12m 49s
Add workflow dispatch trigger Create and publish a Docker image #213: Commit 0bf3fd8 pushed by cyderize
June 10, 2024 03:04 5m 37s develop
develop
June 10, 2024 03:04 5m 37s
Create and publish a Docker image Create and publish a Docker image #212: Scheduled
April 8, 2024 00:56 8m 5s develop
develop
April 8, 2024 00:56 8m 5s
Create and publish a Docker image Create and publish a Docker image #211: Scheduled
April 1, 2024 01:00 8m 33s develop
develop
April 1, 2024 01:00 8m 33s
Create and publish a Docker image Create and publish a Docker image #210: Scheduled
March 25, 2024 00:56 9m 5s develop
develop
March 25, 2024 00:56 9m 5s
Create and publish a Docker image Create and publish a Docker image #209: Scheduled
March 18, 2024 00:55 9m 10s develop
develop
March 18, 2024 00:55 9m 10s
Create and publish a Docker image Create and publish a Docker image #208: Scheduled
March 11, 2024 00:55 9m 6s develop
develop
March 11, 2024 00:55 9m 6s
Create and publish a Docker image Create and publish a Docker image #207: Scheduled
March 4, 2024 00:54 9m 23s develop
develop
March 4, 2024 00:54 9m 23s
Create and publish a Docker image Create and publish a Docker image #206: Scheduled
February 26, 2024 00:55 8m 1s develop
develop
February 26, 2024 00:55 8m 1s
Create and publish a Docker image Create and publish a Docker image #205: Scheduled
February 19, 2024 00:55 7m 24s develop
develop
February 19, 2024 00:55 7m 24s
Create and publish a Docker image Create and publish a Docker image #204: Scheduled
February 12, 2024 00:54 7m 51s develop
develop
February 12, 2024 00:54 7m 51s
Create and publish a Docker image Create and publish a Docker image #203: Scheduled
February 5, 2024 00:56 8m 3s develop
develop
February 5, 2024 00:56 8m 3s
Produce multi-arch images Create and publish a Docker image #202: Commit 073b983 pushed by cyderize
February 2, 2024 00:40 9m 50s develop
develop
February 2, 2024 00:40 9m 50s
Create and publish a Docker image Create and publish a Docker image #201: Scheduled
January 29, 2024 00:55 11m 58s develop
develop
January 29, 2024 00:55 11m 58s
Create and publish a Docker image Create and publish a Docker image #200: Scheduled
January 22, 2024 01:01 8m 49s develop
develop
January 22, 2024 01:01 8m 49s
Update patchelf workaround Create and publish a Docker image #199: Commit 826d21d pushed by cyderize
January 15, 2024 01:39 7m 5s develop
develop
January 15, 2024 01:39 7m 5s