Skip to content

Actions: MiniZinc/FindMUS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build & Package Build & Package #68: Manually run by minizinc-vendor Bot
2m 19s develop
develop
2m 19s
Simplify workflow for version consistency check Build & Package #67: Commit 7fb7a08 pushed by cyderize
1m 53s develop
develop
1m 53s
Simplify workflow for version consistency check Build & Package #66: Pull request #6 opened by cyderize
1m 22s cyderize:fix_version_sync
cyderize:fix_version_sync
1m 22s
Bump FindMUS version to 2.10.2 Build & Package #65: Commit 89275f0 pushed by cyderize
1m 20s develop
develop
1m 20s
Bump FindMUS version to 2.10.2 Build & Package #64: Pull request #5 opened by github-actions Bot
1m 54s bot/bump-minizinc-version-2.10.2
bot/bump-minizinc-version-2.10.2
1m 54s
Automatically keep version in sync with MiniZinc Build & Package #63: Commit 919354d pushed by cyderize
24s develop
develop
24s
Automatically keep version in sync with MiniZinc Build & Package #62: Pull request #4 opened by cyderize
2m 15s cyderize:feature/auto_bump
cyderize:feature/auto_bump
2m 15s
Build & Package Build & Package #61: Manually run by minizinc-vendor Bot
1m 50s develop
develop
1m 50s
Build & Package Build & Package #60: Manually run by minizinc-vendor Bot
2m 39s develop
develop
2m 39s
Sync version number with minizinc Build & Package #59: Commit 5ee1c89 pushed by cyderize
2m 33s 2.10.1
2.10.1
2m 33s
Sync version number with minizinc Build & Package #58: Commit 5ee1c89 pushed by cyderize
1m 57s develop
develop
1m 57s
Sync version number with minizinc Build & Package #57: Pull request #3 opened by cyderize
1m 42s develop
develop
1m 42s
Sync version number with minizinc Build & Package #56: Commit fc5e3cf pushed by cyderize
1m 45s develop
develop
1m 45s
Sync version number with minizinc Build & Package #55: Pull request #2 opened by cyderize
1m 25s cyderize:sync_version
cyderize:sync_version
1m 25s
Build & Package Build & Package #54: Manually run by minizinc-vendor Bot
1m 57s develop
develop
1m 57s
Build & Package Build & Package #53: Manually run by minizinc-vendor Bot
2m 7s develop
develop
2m 7s
Build & Package Build & Package #52: Manually run by minizinc-vendor Bot
1m 56s develop
develop
1m 56s
Build & Package Build & Package #51: Manually run by minizinc-vendor Bot
1m 54s develop
develop
1m 54s
Build & Package Build & Package #50: Manually run by minizinc-vendor Bot
1m 51s develop
develop
1m 51s
Build & Package Build & Package #49: Manually run by minizinc-vendor Bot
2m 4s develop
develop
2m 4s
Build & Package Build & Package #48: Manually run by minizinc-vendor Bot
6m 33s develop
develop
6m 33s
Build & Package Build & Package #47: Manually run by minizinc-vendor Bot
1m 50s develop
develop
1m 50s
Build & Package Build & Package #46: Manually run by minizinc-vendor Bot
2m 41s develop
develop
2m 41s
Build & Package Build & Package #45: Manually run by minizinc-vendor Bot
1m 56s develop
develop
1m 56s
Build & Package Build & Package #44: Manually run by minizinc-vendor Bot
2m 0s develop
develop
2m 0s