Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix TerminationStatus when SolutionLimit is 1 CI #206: Pull request #62 opened by odow
February 8, 2024 00:29 3m 27s od/solution-limit
od/solution-limit
February 8, 2024 00:29 3m 27s
Prep for v0.3.7 (#60) CI #205: Commit 2cc387e pushed by odow
January 31, 2024 02:25 4m 48s master
master
January 31, 2024 02:25 4m 48s
Prep for v0.3.7 CI #204: Pull request #60 opened by odow
January 31, 2024 02:20 5m 43s odow-patch-1
odow-patch-1
January 31, 2024 02:20 5m 43s
Add support for MOI.EqualTo{Bool} (#59) CI #203: Commit ae53ede pushed by odow
January 31, 2024 02:20 4m 57s master
master
January 31, 2024 02:20 4m 57s
Add support for MOI.EqualTo{Bool} CI #202: Pull request #59 synchronize by odow
January 31, 2024 02:11 4m 22s od/EqualTo{Bool}
od/EqualTo{Bool}
January 31, 2024 02:11 4m 22s
Add support for MOI.EqualTo{Bool} CI #201: Pull request #59 opened by odow
January 31, 2024 02:08 6m 41s od/EqualTo{Bool}
od/EqualTo{Bool}
January 31, 2024 02:08 6m 41s
Prep for v0.3.6 (#56) CI #200: Commit 01bc0f7 pushed by odow
November 17, 2023 04:09 3m 44s master
master
November 17, 2023 04:09 3m 44s
Prep for v0.3.6 CI #199: Pull request #56 opened by odow
November 17, 2023 04:04 5m 47s odow-patch-1
odow-patch-1
November 17, 2023 04:04 5m 47s
Trap non-zero process return values in _run_minizinc (#55) CI #198: Commit ab23f8b pushed by odow
November 17, 2023 04:02 5m 58s master
master
November 17, 2023 04:02 5m 58s
Trap non-zero process return values in _run_minizinc CI #197: Pull request #55 synchronize by odow
November 17, 2023 03:30 4m 54s od/error
od/error
November 17, 2023 03:30 4m 54s
Trap non-zero process return values in _run_minizinc CI #196: Pull request #55 opened by odow
November 17, 2023 02:34 3m 13s od/error
od/error
November 17, 2023 02:34 3m 13s
Prep for v0.3.5 (#53) CI #195: Commit 2968ff9 pushed by odow
November 3, 2023 00:56 5m 58s master
master
November 3, 2023 00:56 5m 58s
Prep for v0.3.5 CI #194: Pull request #53 opened by odow
November 3, 2023 00:28 6m 16s odow-patch-1
odow-patch-1
November 3, 2023 00:28 6m 16s
Upgrade to MOI 1.21.0 and switch to SolutionLimit (#52) CI #193: Commit 6f4b214 pushed by odow
November 3, 2023 00:27 4m 1s master
master
November 3, 2023 00:27 4m 1s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #192: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 23:03 9m 16s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 23:03 9m 16s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #191: Pull request #52 synchronize by odow
November 2, 2023 23:00 4m 42s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 23:00 4m 42s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #190: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 22:50 6m 7s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 22:50 6m 7s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #189: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 22:49 6m 53s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 22:49 6m 53s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #188: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 22:46 8m 20s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 22:46 8m 20s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #187: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 22:45 4m 49s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 22:45 4m 49s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #186: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 22:45 4m 58s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 22:45 4m 58s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #185: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 19:04 8m 3s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 19:04 8m 3s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #184: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 18:49 7m 50s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 18:49 7m 50s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #183: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 18:21 7m 0s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 18:21 7m 0s
Upgrade to MOI 1.21.0 and switch to SolutionLimit CI #182: Pull request #52 synchronize by zengjian-hu-rai
November 2, 2023 18:12 9m 26s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 18:12 9m 26s