From e1ead298bec05baec94e8942d8e3bc04f69ba4ba Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Thu, 17 Oct 2024 16:53:04 +0200 Subject: [PATCH 1/2] Revert "stick with ubuntu 22.04 for now" this messes with the labels (for branch protection rules) This reverts commit 6035e8b8e59c3757066f1597c9eeaad999eedcde. --- src/defaults.jl | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/defaults.jl b/src/defaults.jl index f3e8a34..24fd2d9 100644 --- a/src/defaults.jl +++ b/src/defaults.jl @@ -1,9 +1,7 @@ ###### ### defaults for julia-version, os and branches -# we stick with ubuntu 22 until we can remove julia 1.6 due to GLIBCXX errors -# from polymake wrappers -const default_os = [ "ubuntu-22.04" ] +const default_os = [ "ubuntu-latest" ] const default_julia = [ "~1.6.0-0", "~1.10.0-0" ] const default_branches = [ "", "release" ] From 72859dd69fc507de7f1dcd35c14f8716d6a0be71 Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Thu, 17 Oct 2024 16:53:37 +0200 Subject: [PATCH 2/2] bump --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 785b678..59a7fde 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "OscarDevTools" uuid = "4f01c588-2833-446a-9dbd-6331d80acb41" authors = ["Benjamin Lorenz "] -version = "0.2.21" +version = "0.2.22" [deps] GitHub = "bc5e4493-9b4d-5f90-b8aa-2b2bcaad7a26"