Skip to content

Actions: MiniZinc/MiniZincIDE

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
128 workflow runs
128 workflow runs

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 #128: Manually run by minizinc-vendor Bot
19m 24s develop
develop
19m 24s
Build & Test Build & Test #127: Manually run by minizinc-vendor Bot
13m 35s develop
develop
13m 35s
Build & Test Build & Test #126: Manually run by minizinc-vendor Bot
18m 31s develop
develop
18m 31s
Build & Test Build & Test #125: Manually run by minizinc-vendor Bot
18m 54s develop
develop
18m 54s
Build & Test Build & Test #124: Manually run by minizinc-vendor Bot
18m 29s develop
develop
18m 29s
Build & Test Build & Test #123: Manually run by minizinc-vendor Bot
18m 5s develop
develop
18m 5s
Build & Test Build & Test #122: Manually run by minizinc-vendor Bot
17m 51s develop
develop
17m 51s
Build & Test Build & Test #121: Manually run by minizinc-vendor Bot
18m 10s develop
develop
18m 10s
Build & Test Build & Test #120: Manually run by minizinc-vendor Bot
17m 44s develop
develop
17m 44s
Build & Test Build & Test #119: Manually run by minizinc-vendor Bot
22m 30s develop
develop
22m 30s
Build & Test Build & Test #118: Manually run by minizinc-vendor Bot
18m 17s develop
develop
18m 17s
Build & Test Build & Test #117: Manually run by minizinc-vendor Bot
16m 35s develop
develop
16m 35s
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