Skip to content

Actions: MiniZinc/MiniZincIDE

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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 & Test Build & Test #116: Manually run by minizinc-vendor Bot
22m 13s develop
develop
22m 13s
Build & Test Build & Test #115: Manually run by minizinc-vendor Bot
16m 49s develop
develop
16m 49s
Simplify version check workflow Build & Test #114: Commit 8751dfe pushed by cyderize
18m 5s develop
develop
18m 5s
Simplify version check workflow Build & Test #113: Pull request #238 synchronize by cyderize
10m 19s cyderize:fix_auto_bump
cyderize:fix_auto_bump
10m 19s
Build & Test Build & Test #112: Manually run by minizinc-vendor Bot
14m 30s develop
develop
14m 30s
Simplify version check workflow Build & Test #111: Pull request #238 opened by cyderize
4m 28s cyderize:fix_auto_bump
cyderize:fix_auto_bump
4m 28s
Bump MiniZinc IDE version to 2.10.2 Build & Test #110: Commit bde282e pushed by cyderize
15m 41s develop
develop
15m 41s
Bump MiniZinc IDE version to 2.10.2 Build & Test #109: Pull request #237 opened by github-actions Bot
13m 25s bot/bump-minizinc-version-2.10.2
bot/bump-minizinc-version-2.10.2
13m 25s
Fix version check workflow Build & Test #108: Commit b3affd9 pushed by cyderize
15m 0s develop
develop
15m 0s
Fix version check workflow Build & Test #107: Pull request #236 opened by cyderize
10m 0s cyderize:fix_version_sync
cyderize:fix_version_sync
10m 0s
Build & Test Build & Test #106: Manually run by minizinc-vendor Bot
10m 21s develop
develop
10m 21s
Build & Test Build & Test #105: Manually run by minizinc-vendor Bot
11m 38s develop
develop
11m 38s
Add job to keep version in sync with upstream Build & Test #104: Commit cf8aa69 pushed by cyderize
16m 47s develop
develop
16m 47s
Add job to keep version in sync with upstream Build & Test #103: Pull request #235 opened by cyderize
9m 32s cyderize:bump_version
cyderize:bump_version
9m 32s
Update changelog for 2.10.1 Build & Test #102: Commit 0899fff pushed by cyderize
17m 23s 2.10.1
2.10.1
17m 23s
Build & Test Build & Test #101: Manually run by minizinc-vendor Bot
17m 0s develop
develop
17m 0s
Build & Test Build & Test #100: Manually run by minizinc-vendor Bot
4m 47s develop
develop
4m 47s
Release 2.10.1 Build & Test #99: Pull request #234 opened by cyderize
10m 18s develop
develop
10m 18s
Update changelog for 2.10.1 Build & Test #98: Commit 0899fff pushed by cyderize
16m 33s develop
develop
16m 33s
Update changelog for 2.10.1 Build & Test #97: Pull request #233 opened by cyderize
10m 5s cyderize:update_changelog
cyderize:update_changelog
10m 5s
Build & Test Build & Test #96: Manually run by minizinc-vendor Bot
15m 50s develop
develop
15m 50s
Build & Test Build & Test #95: Manually run by minizinc-vendor Bot
17m 27s develop
develop
17m 27s
Fix linux bundles to include sqlite only Build & Test #94: Commit 29bf75d pushed by cyderize
17m 24s develop
develop
17m 24s
Fix linux bundles to include QtWebSockets Build & Test #93: Pull request #232 synchronize by cyderize
10m 29s cyderize:fix_linux
cyderize:fix_linux
10m 29s
Build & Test Build & Test #92: Manually run by minizinc-vendor Bot
16m 3s develop
develop
16m 3s