Skip to content

Actions: MiniZinc/docker-build-environment

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update patchelf workaround Create and publish a Docker image #198: Commit 6dd2dbf pushed by cyderize
January 15, 2024 01:28 8m 2s develop
develop
January 15, 2024 01:28 8m 2s
Create and publish a Docker image Create and publish a Docker image #197: Scheduled
January 15, 2024 01:00 7m 53s develop
develop
January 15, 2024 01:00 7m 53s
Use Ubuntu 22.04 as snap image base Create and publish a Docker image #196: Commit 56afc9c pushed by cyderize
January 14, 2024 23:17 8m 10s develop
develop
January 14, 2024 23:17 8m 10s
Use core22 for snapcraft image Create and publish a Docker image #195: Commit 7dad826 pushed by cyderize
January 14, 2024 22:43 8m 56s develop
develop
January 14, 2024 22:43 8m 56s
Update snapcraft docker image Create and publish a Docker image #194: Commit 40a72ac pushed by cyderize
January 8, 2024 01:36 10m 25s develop
develop
January 8, 2024 01:36 10m 25s
Create and publish a Docker image Create and publish a Docker image #193: Scheduled
January 8, 2024 00:59 42s develop
develop
January 8, 2024 00:59 42s
Create and publish a Docker image Create and publish a Docker image #192: Scheduled
January 1, 2024 01:02 8m 57s develop
develop
January 1, 2024 01:02 8m 57s
Create and publish a Docker image Create and publish a Docker image #191: Scheduled
December 25, 2023 00:57 7m 24s develop
develop
December 25, 2023 00:57 7m 24s
Create and publish a Docker image Create and publish a Docker image #190: Scheduled
December 18, 2023 00:58 7m 18s develop
develop
December 18, 2023 00:58 7m 18s
Create and publish a Docker image Create and publish a Docker image #189: Scheduled
December 11, 2023 00:58 8m 4s develop
develop
December 11, 2023 00:58 8m 4s
Create and publish a Docker image Create and publish a Docker image #188: Scheduled
December 4, 2023 00:58 5m 51s develop
develop
December 4, 2023 00:58 5m 51s
Add ccache to qt image Create and publish a Docker image #187: Commit 2de64cd pushed by cyderize
November 29, 2023 00:13 6m 33s develop
develop
November 29, 2023 00:13 6m 33s
Add github-cli to package image Create and publish a Docker image #186: Commit 9641f02 pushed by cyderize
November 28, 2023 22:17 6m 47s develop
develop
November 28, 2023 22:17 6m 47s
Update pip command for Qt image Create and publish a Docker image #185: Commit 8c9565d pushed by cyderize
November 27, 2023 02:05 6m 36s develop
develop
November 27, 2023 02:05 6m 36s
Create and publish a Docker image Create and publish a Docker image #184: Scheduled
November 27, 2023 00:57 2m 7s develop
develop
November 27, 2023 00:57 2m 7s
Create and publish a Docker image Create and publish a Docker image #183: Scheduled
November 20, 2023 00:58 6m 18s develop
develop
November 20, 2023 00:58 6m 18s
Create and publish a Docker image Create and publish a Docker image #182: Scheduled
November 13, 2023 00:57 10m 38s develop
develop
November 13, 2023 00:57 10m 38s
Create and publish a Docker image Create and publish a Docker image #181: Scheduled
November 6, 2023 00:56 7m 15s develop
develop
November 6, 2023 00:56 7m 15s
Create and publish a Docker image Create and publish a Docker image #180: Scheduled
October 30, 2023 00:55 7m 24s develop
develop
October 30, 2023 00:55 7m 24s
Fix missing fonts in sphinx image Create and publish a Docker image #179: Commit 13a0ec0 pushed by cyderize
October 25, 2023 00:31 11m 8s develop
develop
October 25, 2023 00:31 11m 8s
Create and publish a Docker image Create and publish a Docker image #178: Scheduled
October 23, 2023 00:54 7m 23s develop
develop
October 23, 2023 00:54 7m 23s
Add missing dependency to sphinx image Create and publish a Docker image #177: Commit 4ca747c pushed by cyderize
October 21, 2023 10:19 7m 28s develop
develop
October 21, 2023 10:19 7m 28s
Add sphinx image Create and publish a Docker image #176: Commit c3e120b pushed by cyderize
October 20, 2023 08:23 7m 1s develop
develop
October 20, 2023 08:23 7m 1s
Create and publish a Docker image Create and publish a Docker image #175: Scheduled
October 16, 2023 00:55 4m 0s develop
develop
October 16, 2023 00:55 4m 0s
Create and publish a Docker image Create and publish a Docker image #174: Scheduled
October 9, 2023 00:54 3m 44s develop
develop
October 9, 2023 00:54 3m 44s