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

Upgrade to MOI 1.21.0 and switch to SolutionLimit format-check #181: Pull request #52 opened by zengjian-hu-rai
November 2, 2023 18:09 1m 46s zengjian-hu-rai:master
zengjian-hu-rai:master
November 2, 2023 18:09 1m 46s
Update ref to HiGHS in README.md (#51) format-check #180: Commit 73c479a pushed by odow
October 25, 2023 08:01 2m 23s master
master
October 25, 2023 08:01 2m 23s
Update reference to HiGHS in README.md format-check #179: Pull request #51 opened by pierre-haessig
October 25, 2023 07:31 2m 27s pierre-haessig:patch-1
pierre-haessig:patch-1
October 25, 2023 07:31 2m 27s
format-check format-check #178: by odow
October 9, 2023 14:22 1m 57s master
master
October 9, 2023 14:22 1m 57s
Update to [email protected] format-check #177: Pull request #49 reopened by odow
October 9, 2023 14:13 2m 38s odow-patch-1
odow-patch-1
October 9, 2023 14:13 2m 38s
Update to [email protected] format-check #176: Pull request #49 synchronize by odow
October 9, 2023 13:50 1m 53s odow-patch-1
odow-patch-1
October 9, 2023 13:50 1m 53s
Update to [email protected] format-check #175: Pull request #49 synchronize by odow
October 9, 2023 13:49 1m 47s odow-patch-1
odow-patch-1
October 9, 2023 13:49 1m 47s
Update to [email protected] format-check #174: Pull request #49 opened by odow
October 9, 2023 12:30 1m 53s odow-patch-1
odow-patch-1
October 9, 2023 12:30 1m 53s
Prep for v0.3.3 (#47) format-check #173: Commit e70132f pushed by odow
September 27, 2023 21:26 1m 50s master
master
September 27, 2023 21:26 1m 50s
Prep for v0.3.3 format-check #172: Pull request #47 opened by odow
September 27, 2023 21:05 1m 58s odow-patch-1
odow-patch-1
September 27, 2023 21:05 1m 58s
Return MOI.TIME_LIMIT when the solver times out (#46) format-check #171: Commit ce9f57a pushed by odow
September 27, 2023 21:05 1m 44s master
master
September 27, 2023 21:05 1m 44s
return MOI.TIME_LIMIT when the solver times out format-check #170: Pull request #46 synchronize by odow
September 27, 2023 20:39 2m 13s zengjian-hu-rai:zhu-timeout
zengjian-hu-rai:zhu-timeout
September 27, 2023 20:39 2m 13s
return MOI.TIME_LIMIT when the solver times out format-check #169: Pull request #46 synchronize by zengjian-hu-rai
September 27, 2023 17:55 1m 46s zengjian-hu-rai:zhu-timeout
zengjian-hu-rai:zhu-timeout
September 27, 2023 17:55 1m 46s
return MOI.TIME_LIMIT when the solver times out format-check #168: Pull request #46 synchronize by zengjian-hu-rai
September 27, 2023 17:52 1m 57s zengjian-hu-rai:zhu-timeout
zengjian-hu-rai:zhu-timeout
September 27, 2023 17:52 1m 57s
return MOI.TIME_LIMIT when the solver times out format-check #167: Pull request #46 synchronize by zengjian-hu-rai
September 27, 2023 17:47 1m 47s zengjian-hu-rai:zhu-timeout
zengjian-hu-rai:zhu-timeout
September 27, 2023 17:47 1m 47s
return MOI.TIME_LIMIT when the solver times out format-check #166: Pull request #46 opened by zengjian-hu-rai
September 27, 2023 17:41 2m 17s zengjian-hu-rai:zhu-timeout
zengjian-hu-rai:zhu-timeout
September 27, 2023 17:41 2m 17s
Fix glitch in test (#44) format-check #165: Commit 085d2ad pushed by odow
September 25, 2023 18:01 2m 5s master
master
September 25, 2023 18:01 2m 5s
fix glitch in test format-check #164: Pull request #44 opened by zengjian-hu-rai
September 25, 2023 16:14 1m 52s zengjian-hu-rai:zhu-fix-test
zengjian-hu-rai:zhu-fix-test
September 25, 2023 16:14 1m 52s
Prep for v0.3.2 format-check #163: Commit a71268a pushed by odow
September 22, 2023 04:10 1m 51s master
master
September 22, 2023 04:10 1m 51s
Add support for MOI.RawOptimizerAttribute("num_solutions") (#43) format-check #162: Commit 6cda1e7 pushed by odow
September 22, 2023 04:09 1m 47s master
master
September 22, 2023 04:09 1m 47s
Implement solve_all for MiniZinc format-check #161: Pull request #43 synchronize by odow
September 22, 2023 03:47 1m 45s zengjian-hu-rai:zhu-solve-all
zengjian-hu-rai:zhu-solve-all
September 22, 2023 03:47 1m 45s
Implement solve_all for MiniZinc format-check #160: Pull request #43 synchronize by odow
September 22, 2023 03:43 2m 7s zengjian-hu-rai:zhu-solve-all
zengjian-hu-rai:zhu-solve-all
September 22, 2023 03:43 2m 7s
Implement solve_all for MiniZinc format-check #159: Pull request #43 synchronize by odow
September 22, 2023 03:41 1m 43s zengjian-hu-rai:zhu-solve-all
zengjian-hu-rai:zhu-solve-all
September 22, 2023 03:41 1m 43s
Implement solve_all for MiniZinc format-check #158: Pull request #43 synchronize by odow
September 22, 2023 03:30 1m 44s zengjian-hu-rai:zhu-solve-all
zengjian-hu-rai:zhu-solve-all
September 22, 2023 03:30 1m 44s
Implement solve_all for MiniZinc format-check #157: Pull request #43 synchronize by zengjian-hu-rai
September 22, 2023 03:25 2m 8s zengjian-hu-rai:zhu-solve-all
zengjian-hu-rai:zhu-solve-all
September 22, 2023 03:25 2m 8s