Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

format-check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_check.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify ORTools_jll requires Linux (#97) format-check #269: Commit fb1f145 pushed by odow
May 28, 2025 19:50 1m 4s master
master
May 28, 2025 19:50 1m 4s
Clarify ORTools_jll requires Linux format-check #268: Pull request #97 opened by odow
May 28, 2025 19:33 1m 2s odow-patch-1
odow-patch-1
May 28, 2025 19:33 1m 2s
Remove DOCUMENTER_KEY from TagBot.yml (#94) format-check #267: Commit 916fe92 pushed by odow
April 11, 2025 02:50 1m 0s master
master
April 11, 2025 02:50 1m 0s
Remove DOCUMENTER_KEY from TagBot.yml format-check #266: Pull request #94 opened by odow
April 11, 2025 02:40 1m 1s odow-patch-1
odow-patch-1
April 11, 2025 02:40 1m 1s
Add instructions for CP-SAT in README (#93) format-check #265: Commit f483430 pushed by odow
February 15, 2025 18:35 1m 0s master
master
February 15, 2025 18:35 1m 0s
Add instructions for CP-SAT in README format-check #264: Pull request #93 opened by blegat
February 15, 2025 09:22 1m 0s bl/cpsat
bl/cpsat
February 15, 2025 09:22 1m 0s
Add badges to README (#92) format-check #263: Commit 582a9c3 pushed by odow
January 15, 2025 00:24 1m 0s master
master
January 15, 2025 00:24 1m 0s
Add badges to README format-check #262: Pull request #92 opened by odow
January 14, 2025 20:58 9m 29s odow-patch-1
odow-patch-1
January 14, 2025 20:58 9m 29s
Fix tests to allow N=52 or N=92 for N-Queens (#91) format-check #261: Commit 1d34415 pushed by odow
January 6, 2025 00:43 17m 43s master
master
January 6, 2025 00:43 17m 43s
Fix tests to allow N=52 or N=92 for N-Queens format-check #260: Pull request #91 opened by odow
January 5, 2025 22:21 1h 57m 7s od/fix
od/fix
January 5, 2025 22:21 1h 57m 7s
Restore correct value of N-Queens in tests format-check #259: Pull request #90 opened by odow
December 31, 2024 00:39 1m 1s odow-patch-1
odow-patch-1
December 31, 2024 00:39 1m 1s
Fix incorrect number type in test_highs_optimization (#89) format-check #258: Commit 048f6e4 pushed by odow
November 3, 2024 23:40 1m 7s master
master
November 3, 2024 23:40 1m 7s
Fix incorrect number type in test_highs_optimization format-check #257: Pull request #89 opened by odow
November 3, 2024 23:24 1m 2s od/fix-tests
od/fix-tests
November 3, 2024 23:24 1m 2s
Add comment to n-queens test (#87) format-check #256: Commit 80a0fc9 pushed by odow
September 7, 2024 02:06 1m 5s master
master
September 7, 2024 02:06 1m 5s
Add comment to n-queens test format-check #255: Pull request #87 opened by odow
September 6, 2024 05:27 1m 8s odow-patch-1
odow-patch-1
September 6, 2024 05:27 1m 8s
Move test/examples into test/runtests.jl (#86) format-check #254: Commit 4138f44 pushed by odow
September 6, 2024 05:26 1m 11s master
master
September 6, 2024 05:26 1m 11s
Move test/examples into test/runtests.jl format-check #253: Pull request #86 opened by odow
September 6, 2024 05:16 1m 5s od/test-examples
od/test-examples
September 6, 2024 05:16 1m 5s
Add comment to N-queens test format-check #252: Pull request #85 opened by odow
September 6, 2024 05:08 1m 10s odow-patch-1
odow-patch-1
September 6, 2024 05:08 1m 10s
Prep for v0.3.12 (#83) format-check #251: Commit 5e9241b pushed by odow
September 2, 2024 22:04 1m 6s master
master
September 2, 2024 22:04 1m 6s
Prep for v0.3.12 format-check #250: Pull request #83 opened by odow
September 2, 2024 21:51 1m 10s odow-patch-1
odow-patch-1
September 2, 2024 21:51 1m 10s
Allow using MiniZincSet from JuMP (#82) format-check #249: Commit e359b29 pushed by odow
September 2, 2024 21:50 1m 9s master
master
September 2, 2024 21:50 1m 9s
Allow using MiniZincSet from JuMP format-check #248: Pull request #82 synchronize by odow
September 2, 2024 21:15 1m 5s bl/minizincset
bl/minizincset
September 2, 2024 21:15 1m 5s
Allow using MiniZincSet from JuMP format-check #247: Pull request #82 synchronize by odow
September 2, 2024 21:12 1m 8s bl/minizincset
bl/minizincset
September 2, 2024 21:12 1m 8s
Allow using MiniZincSet from JuMP format-check #246: Pull request #82 synchronize by odow
September 2, 2024 21:03 1m 9s bl/minizincset
bl/minizincset
September 2, 2024 21:03 1m 9s
Allow using MiniZincSet from JuMP format-check #245: Pull request #82 synchronize by blegat
September 2, 2024 12:56 1m 10s bl/minizincset
bl/minizincset
September 2, 2024 12:56 1m 10s