Skip to content

Actions: MiniZinc/minizinc-vendor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

upstream-update
upstream-update #1: Scheduled
27s main
fix: Qt installation
publish #23: Commit ea71f63 pushed by Dekker1
15m 45s main
fix: Qt installation
publish #22: Commit b5042de pushed by Dekker1
5m 50s main
fix: cmake generators
publish #21: Commit e0d351c pushed by Dekker1
19m 19s main
publish
publish #20: Manually run by Dekker1
16m 41s main
fix: another coinbrew workaround
publish #11: Commit dd21c43 pushed by Dekker1
1h 29m 32s main
fix: another coinbrew workaround
publish #10: Commit 0aecbc5 pushed by Dekker1
1h 16m 9s main
fix: another coinbrew workaround
publish #9: Commit 2c0b5ec pushed by Dekker1
2h 56m 24s main
fix: another coinbrew workaround
publish #8: Commit 207de11 pushed by Dekker1
3h 0m 10s main
fix: base images and cbc
publish #3: Commit 5f47655 pushed by Dekker1
3m 29s main
fix: initial fixes
publish #2: Commit 866c172 pushed by Dekker1
10m 40s main