Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update to [email protected]
CI #231: Pull request #74 synchronize by odow
July 16, 2024 22:21 6m 49s odow-patch-1
July 16, 2024 22:21 6m 49s
Update to [email protected]
CI #230: Pull request #74 synchronize by odow
July 16, 2024 09:12 5m 46s odow-patch-1
July 16, 2024 09:12 5m 46s
Update to [email protected]
CI #229: Pull request #74 opened by odow
July 16, 2024 08:23 2m 5s odow-patch-1
July 16, 2024 08:23 2m 5s
Prep for v0.3.10 (#73)
CI #228: Commit feaa954 pushed by odow
July 13, 2024 04:24 5m 26s master
July 13, 2024 04:24 5m 26s
Prep for v0.3.10
CI #227: Pull request #73 opened by odow
July 13, 2024 03:35 6m 1s odow-patch-1
July 13, 2024 03:35 6m 1s
Fix unary +, -, * (#72)
CI #226: Commit edee8cb pushed by odow
July 13, 2024 03:34 5m 58s master
July 13, 2024 03:34 5m 58s
Fix unary +, -, *
CI #225: Pull request #72 opened by odow
July 13, 2024 03:25 5m 55s od/unary
July 13, 2024 03:25 5m 55s
Document MOI.SolutionLimit (#70)
CI #224: Commit 3bc82dc pushed by odow
June 29, 2024 02:33 4m 8s master
June 29, 2024 02:33 4m 8s
Document MOI.SolutionLimit
CI #223: Pull request #70 opened by odow
June 29, 2024 00:09 4m 11s odow-patch-1
June 29, 2024 00:09 4m 11s
Fix assumption about variable ordering in tests (#69)
CI #222: Commit d8ef5d2 pushed by odow
June 13, 2024 01:29 3m 49s master
June 13, 2024 01:29 3m 49s
Fix assumption about variable ordering in tests
CI #221: Pull request #69 synchronize by odow
June 13, 2024 00:01 6m 35s od/fix-test
June 13, 2024 00:01 6m 35s
Fix assumption about variable ordering in tests
CI #220: Pull request #69 opened by odow
June 12, 2024 23:57 5m 43s od/fix-test
June 12, 2024 23:57 5m 43s
Fix writing integer variables with float bounds (#68)
CI #219: Commit 94ccee7 pushed by odow
May 25, 2024 03:53 3m 47s master
May 25, 2024 03:53 3m 47s
Fix writing integer variables with float bounds
CI #218: Pull request #68 opened by odow
May 25, 2024 03:45 7m 48s od/fix-unbound-int
May 25, 2024 03:45 7m 48s
Update versions in GitHub actions (#66)
CI #217: Commit e77ce48 pushed by odow
April 18, 2024 09:44 14m 0s master
April 18, 2024 09:44 14m 0s
Update versions in GitHub actions
CI #216: Pull request #66 opened by odow
April 18, 2024 08:42 49m 38s od/gh
April 18, 2024 08:42 49m 38s