Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add comment to n-queens test (#87)
CI #256: Commit 80a0fc9 pushed by odow
September 7, 2024 02:06 5m 20s master
September 7, 2024 02:06 5m 20s
Add comment to n-queens test
CI #255: Pull request #87 opened by odow
September 6, 2024 05:27 5m 37s odow-patch-1
September 6, 2024 05:27 5m 37s
Move test/examples into test/runtests.jl (#86)
CI #254: Commit 4138f44 pushed by odow
September 6, 2024 05:26 5m 26s master
September 6, 2024 05:26 5m 26s
Move test/examples into test/runtests.jl
CI #253: Pull request #86 opened by odow
September 6, 2024 05:16 5m 25s od/test-examples
September 6, 2024 05:16 5m 25s
Add comment to N-queens test
CI #252: Pull request #85 opened by odow
September 6, 2024 05:08 5m 30s odow-patch-1
September 6, 2024 05:08 5m 30s
Prep for v0.3.12 (#83)
CI #251: Commit 5e9241b pushed by odow
September 2, 2024 22:04 5m 7s master
September 2, 2024 22:04 5m 7s
Prep for v0.3.12
CI #250: Pull request #83 opened by odow
September 2, 2024 21:51 6m 33s odow-patch-1
September 2, 2024 21:51 6m 33s
Allow using MiniZincSet from JuMP (#82)
CI #249: Commit e359b29 pushed by odow
September 2, 2024 21:50 5m 21s master
September 2, 2024 21:50 5m 21s
Allow using MiniZincSet from JuMP
CI #248: Pull request #82 synchronize by odow
September 2, 2024 21:15 5m 28s bl/minizincset
September 2, 2024 21:15 5m 28s
Allow using MiniZincSet from JuMP
CI #247: Pull request #82 synchronize by odow
September 2, 2024 21:12 5m 3s bl/minizincset
September 2, 2024 21:12 5m 3s
Allow using MiniZincSet from JuMP
CI #246: Pull request #82 synchronize by odow
September 2, 2024 21:03 5m 31s bl/minizincset
September 2, 2024 21:03 5m 31s
Allow using MiniZincSet from JuMP
CI #245: Pull request #82 synchronize by blegat
September 2, 2024 12:56 6m 26s bl/minizincset
September 2, 2024 12:56 6m 26s
Allow using MiniZincSet from JuMP
CI #244: Pull request #82 synchronize by blegat
September 2, 2024 12:22 5m 25s bl/minizincset
September 2, 2024 12:22 5m 25s
Fix running the tests from other locations (#81)
CI #243: Commit 7484893 pushed by blegat
September 2, 2024 09:52 6m 1s master
September 2, 2024 09:52 6m 1s
Allow using MiniZincSet from JuMP
CI #242: Pull request #82 synchronize by blegat
September 2, 2024 09:51 5m 37s bl/minizincset
September 2, 2024 09:51 5m 37s
Allow using MiniZincSet from JuMP
CI #241: Pull request #82 opened by blegat
September 2, 2024 08:35 6m 17s bl/minizincset
September 2, 2024 08:35 6m 17s
Fix running the tests from other locations
CI #240: Pull request #81 opened by blegat
September 2, 2024 08:32 6m 1s bl/dir_examples
September 2, 2024 08:32 6m 1s
Fix writing integer variables with float bounds (#78)
CI #239: Commit bc8751f pushed by odow
July 22, 2024 01:08 6m 33s master
July 22, 2024 01:08 6m 33s
Fix writing integer variables with float bounds
CI #238: Pull request #78 opened by odow
July 22, 2024 00:56 6m 12s od/fix
July 22, 2024 00:56 6m 12s
Add support for Windows
CI #237: Pull request #36 synchronize by odow
July 17, 2024 05:15 11m 47s od/windows
July 17, 2024 05:15 11m 47s
Update to [email protected] (#75)
CI #236: Commit 8c7a7d3 pushed by odow
July 17, 2024 05:13 5m 18s master
July 17, 2024 05:13 5m 18s
Update to [email protected]
CI #235: Pull request #75 opened by odow
July 17, 2024 04:59 5m 43s odow-patch-1
July 17, 2024 04:59 5m 43s
Update to [email protected] (#74)
CI #234: Commit d3fef25 pushed by odow
July 17, 2024 01:31 10m 42s master
July 17, 2024 01:31 10m 42s
Update to [email protected]
CI #233: Pull request #74 synchronize by odow
July 17, 2024 01:25 6m 13s odow-patch-1
July 17, 2024 01:25 6m 13s
Update to [email protected]
CI #232: Pull request #74 synchronize by odow
July 17, 2024 01:17 2m 28s odow-patch-1
July 17, 2024 01:17 2m 28s