Skip to content

Actions: jump-dev/MiniZinc.jl

Actions

format-check

Actions

Loading...
Loading

Show workflow options

Create status badge

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