Skip to content

Commit

Permalink
CompatHelper: bump compat for JuMP to 1, (keep existing compat) (#48)
Browse files Browse the repository at this point in the history 
* CompatHelper: bump compat for JuMP to 1, (keep existing compat)

* v0.2.1

* Add compat bounds

Co-authored-by: CompatHelper Julia <compathelper_noreply@julialang.org>
Co-authored-by: Benoît Legat <benoit.legat@gmail.com>
  • Loading branch information
@github-actions @blegat
3 people committed Mar 28, 2022
1 parent a1d4191 commit 88c6c64
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions Project.toml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name = "SwitchOnSafety"
uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"
repo = "https://github.com/blegat/SwitchOnSafety.jl.git"
version = "0.2.0"
version = "0.2.1"

[deps]
Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
Expand Down Expand Up @@ -30,11 +30,14 @@ SumOfSquares = "4b9e565b-77fc-50a5-a571-1244f986bda1"

[compat]
Combinatorics = "1"
CSDP = "1"
DynamicPolynomials = "0.4"
ECOS = "1"
FillArrays = "0.7, 0.8, 0.9, 0.10, 0.11, 0.12, 0.13"
GLPK = "1"
GraphPlot = "0.3, 0.4, 0.5"
HybridSystems = "0.3"
JuMP = "0.23"
JuMP = "0.23, 1"
LightGraphs = "1"
MathOptInterface = "1"
MathematicalSystems = "0.11"
Expand Down

2 comments on commit 88c6c64

@blegat
Copy link
Owner

@blegat blegat commented on 88c6c64 Mar 28, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/57475

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.1 -m "<description of version>" 88c6c64f7499de1fc8b039cfc2da393778f1e4c4
git push origin v0.2.1

Please sign in to comment.