Skip to content

Actions: RelationalAI/SolverAPI.jl

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix StackOverflowError coming from MOI.Utilities.operate
CI #29: Pull request #6 synchronize by bachdavi
September 21, 2023 12:14 6m 9s dba-fix-stackoverflow
September 21, 2023 12:14 6m 9s
Fix StackOverflowError coming from MOI.Utilities.operate
CI #28: Pull request #6 synchronize by bachdavi
September 21, 2023 11:47 13m 56s dba-fix-stackoverflow
September 21, 2023 11:47 13m 56s
Merge pull request #5 from RelationalAI/cdc-returnmore
CI #27: Commit ec5d329 pushed by chriscoey
September 21, 2023 01:52 5m 0s main
September 21, 2023 01:52 5m 0s
Return solve time and solver name/version
CI #26: Pull request #5 synchronize by chriscoey
September 21, 2023 01:26 5m 13s cdc-returnmore
September 21, 2023 01:26 5m 13s
Fix StackOverflowError coming from MOI.Utilities.operate
CI #25: Pull request #6 synchronize by bachdavi
September 20, 2023 12:14 5m 5s dba-fix-stackoverflow
September 20, 2023 12:14 5m 5s
Fix StackOverflowError coming from MOI.Utilities.operate
CI #24: Pull request #6 opened by bachdavi
September 20, 2023 12:06 5m 38s dba-fix-stackoverflow
September 20, 2023 12:06 5m 38s
Return solve time and solver name/version
CI #23: Pull request #5 synchronize by chriscoey
September 20, 2023 02:38 4m 33s cdc-returnmore
September 20, 2023 02:38 4m 33s
Return solve time and solver name/version
CI #22: Pull request #5 synchronize by chriscoey
September 20, 2023 02:21 5m 4s cdc-returnmore
September 20, 2023 02:21 5m 4s
Return solve time and solver name/version
CI #21: Pull request #5 synchronize by chriscoey
September 20, 2023 02:03 4m 30s cdc-returnmore
September 20, 2023 02:03 4m 30s
Merge pull request #4 from RelationalAI/cdc-fixresults
CI #20: Commit c29635f pushed by chriscoey
September 19, 2023 14:52 5m 50s main
September 19, 2023 14:52 5m 50s
Fix some issues with returning solver results
CI #19: Pull request #4 synchronize by chriscoey
September 19, 2023 14:43 6m 28s cdc-fixresults
September 19, 2023 14:43 6m 28s
Merge pull request #2 from RelationalAI/cdc-timelimit
CI #18: Commit 569d5e8 pushed by bachdavi
September 19, 2023 11:19 4m 43s main
September 19, 2023 11:19 4m 43s
Return solve time and solver name/version
CI #17: Pull request #5 opened by chriscoey
September 19, 2023 02:29 6m 57s cdc-returnmore
September 19, 2023 02:29 6m 57s
Fix some issues with returning solver results
CI #16: Pull request #4 opened by chriscoey
September 19, 2023 00:49 4m 46s cdc-fixresults
September 19, 2023 00:49 4m 46s
Add csp2sat next to minizinc
CI #15: Pull request #3 opened by zengjian-hu-rai
September 19, 2023 00:46 5m 54s zhu-csp2sat-integration
September 19, 2023 00:46 5m 54s
Add default time limit of 5min for solvers that support time limits
CI #14: Pull request #2 opened by chriscoey
September 19, 2023 00:31 5m 13s cdc-timelimit
September 19, 2023 00:31 5m 13s
Merge pull request #1 from RelationalAI/zhu-add-more-tests
CI #13: Commit d4b836f pushed by chriscoey
September 18, 2023 23:36 5m 12s main
September 18, 2023 23:36 5m 12s
Add/fix some tests, plus some cleanup and formatting
CI #12: Pull request #1 synchronize by chriscoey
September 18, 2023 23:17 6m 38s zhu-add-more-tests
September 18, 2023 23:17 6m 38s
Rename sol_names and sol_values
CI #11: Commit 2e66744 pushed by bachdavi
September 18, 2023 13:15 5m 27s v0.1.0
September 18, 2023 13:15 5m 27s
Add/fix some tests, plus some cleanup and formatting
CI #10: Pull request #1 synchronize by chriscoey
September 12, 2023 20:45 5m 21s zhu-add-more-tests
September 12, 2023 20:45 5m 21s
Add/fix some tests, plus some cleanup and formatting
CI #9: Pull request #1 synchronize by chriscoey
September 12, 2023 20:39 5m 23s zhu-add-more-tests
September 12, 2023 20:39 5m 23s