Skip to content

Actions: jump-dev/MiniZinc.jl

format-check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow using MiniZincSet from JuMP
format-check #244: Pull request #82 synchronize by blegat
September 2, 2024 12:22 1m 7s bl/minizincset
September 2, 2024 12:22 1m 7s
Fix running the tests from other locations (#81)
format-check #243: Commit 7484893 pushed by blegat
September 2, 2024 09:52 1m 5s master
September 2, 2024 09:52 1m 5s
Allow using MiniZincSet from JuMP
format-check #242: Pull request #82 synchronize by blegat
September 2, 2024 09:51 1m 7s bl/minizincset
September 2, 2024 09:51 1m 7s
Allow using MiniZincSet from JuMP
format-check #241: Pull request #82 opened by blegat
September 2, 2024 08:35 1m 9s bl/minizincset
September 2, 2024 08:35 1m 9s
Fix running the tests from other locations
format-check #240: Pull request #81 opened by blegat
September 2, 2024 08:32 1m 10s bl/dir_examples
September 2, 2024 08:32 1m 10s
Fix writing integer variables with float bounds (#78)
format-check #239: Commit bc8751f pushed by odow
July 22, 2024 01:08 1m 9s master
July 22, 2024 01:08 1m 9s
Fix writing integer variables with float bounds
format-check #238: Pull request #78 opened by odow
July 22, 2024 00:56 1m 12s od/fix
July 22, 2024 00:56 1m 12s
Add support for Windows
format-check #237: Pull request #36 synchronize by odow
July 17, 2024 05:15 1m 3s od/windows
July 17, 2024 05:15 1m 3s
Update to MiniZinc_jll@2.8.5 (#75)
format-check #236: Commit 8c7a7d3 pushed by odow
July 17, 2024 05:13 1m 10s master
July 17, 2024 05:13 1m 10s
Update to MiniZinc_jll@2.8.5
format-check #235: Pull request #75 opened by odow
July 17, 2024 04:59 1m 7s odow-patch-1
July 17, 2024 04:59 1m 7s
Update to Chuffed_jll@0.13.2 (#74)
format-check #234: Commit d3fef25 pushed by odow
July 17, 2024 01:31 6m 21s master
July 17, 2024 01:31 6m 21s
Update to Chuffed_jll@0.13.2
format-check #233: Pull request #74 synchronize by odow
July 17, 2024 01:25 1m 16s odow-patch-1
July 17, 2024 01:25 1m 16s
Update to Chuffed_jll@0.13.2
format-check #232: Pull request #74 synchronize by odow
July 17, 2024 01:17 1m 10s odow-patch-1
July 17, 2024 01:17 1m 10s
Update to Chuffed_jll@0.13.2
format-check #231: Pull request #74 synchronize by odow
July 16, 2024 22:21 1m 9s odow-patch-1
July 16, 2024 22:21 1m 9s
Update to Chuffed_jll@0.13.2
format-check #230: Pull request #74 synchronize by odow
July 16, 2024 09:12 1m 5s odow-patch-1
July 16, 2024 09:12 1m 5s
Update to Chuffed_jll@0.13.2
format-check #229: Pull request #74 opened by odow
July 16, 2024 08:23 1m 13s odow-patch-1
July 16, 2024 08:23 1m 13s
Prep for v0.3.10 (#73)
format-check #228: Commit feaa954 pushed by odow
July 13, 2024 04:24 1m 6s master
July 13, 2024 04:24 1m 6s
Prep for v0.3.10
format-check #227: Pull request #73 opened by odow
July 13, 2024 03:35 1m 3s odow-patch-1
July 13, 2024 03:35 1m 3s
Fix unary +, -, * (#72)
format-check #226: Commit edee8cb pushed by odow
July 13, 2024 03:34 1m 5s master
July 13, 2024 03:34 1m 5s
Fix unary +, -, *
format-check #225: Pull request #72 opened by odow
July 13, 2024 03:25 1m 4s od/unary
July 13, 2024 03:25 1m 4s
Document MOI.SolutionLimit (#70)
format-check #224: Commit 3bc82dc pushed by odow
June 29, 2024 02:33 1m 12s master
June 29, 2024 02:33 1m 12s
Document MOI.SolutionLimit
format-check #223: Pull request #70 opened by odow
June 29, 2024 00:09 1m 7s odow-patch-1
June 29, 2024 00:09 1m 7s
Fix assumption about variable ordering in tests (#69)
format-check #222: Commit d8ef5d2 pushed by odow
June 13, 2024 01:29 1m 9s master
June 13, 2024 01:29 1m 9s
Fix assumption about variable ordering in tests
format-check #221: Pull request #69 synchronize by odow
June 13, 2024 00:01 6m 6s od/fix-test
June 13, 2024 00:01 6m 6s
Fix assumption about variable ordering in tests
format-check #220: Pull request #69 opened by odow
June 12, 2024 23:57 1m 11s od/fix-test
June 12, 2024 23:57 1m 11s