Skip to content

Actions: jump-dev/JuMP.jl

aqua-lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,361 workflow runs
1,361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for generic number type (#3385)
aqua-lint #2163: Commit d0be19b pushed by mlubin
July 23, 2023 16:48 4m 30s master
July 23, 2023 16:48 4m 30s
Add support for generic number type
aqua-lint #2162: Pull request #3385 synchronize by odow
July 21, 2023 15:27 5m 5s od/generic-number-type
July 21, 2023 15:27 5m 5s
[docs] remove second SDP relaxation due to unreliable numerics. (#3432)
aqua-lint #2161: Commit f220e9b pushed by odow
July 20, 2023 14:36 5m 52s master
July 20, 2023 14:36 5m 52s
[docs] Change nested_problems.jl : outer/inner to upper/lower (#3433)
aqua-lint #2160: Commit d7d436f pushed by odow
July 15, 2023 01:14 4m 35s master
July 15, 2023 01:14 4m 35s
[docs] Change nested_problems.jl : outer/inner to upper/lower
aqua-lint #2159: Pull request #3433 synchronize by jd-foster
July 14, 2023 07:44 4m 33s jdf/bilevel-fix
July 14, 2023 07:44 4m 33s
[docs] Change nested_problems.jl : outer/inner to upper/lower
aqua-lint #2158: Pull request #3433 opened by jd-foster
July 14, 2023 07:42 4m 20s jdf/bilevel-fix
July 14, 2023 07:42 4m 20s
[Containers] Minor cleanups in DenseAxisArray (#3429)
aqua-lint #2156: Commit 736e49e pushed by odow
July 7, 2023 04:28 4m 25s master
July 7, 2023 04:28 4m 25s
[docs] improve problem statement in cannery example of tutorial (#3430)
aqua-lint #2155: Commit ba2eec5 pushed by odow
July 7, 2023 04:28 5m 6s master
July 7, 2023 04:28 5m 6s
improve problem statement in cannery example of tutorial
aqua-lint #2154: Pull request #3430 synchronize by odow
July 7, 2023 02:21 4m 20s SimonEnsemble:patch-1
July 7, 2023 02:21 4m 20s
Minor cleanups in DenseAxisArray
aqua-lint #2152: Pull request #3429 opened by blegat
July 5, 2023 06:30 5m 35s bl/dense_minor
July 5, 2023 06:30 5m 35s
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.