From 9a4fbdcce4fa606be69dbad5ebc17ff1ef01ffa2 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Thu, 17 Oct 2024 09:30:35 +0200
Subject: [PATCH 1/6] archive polymake wrappers

---
 .github/workflows/oscar.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 992ff96b..7a0d1b88 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -111,3 +111,10 @@ jobs:
         run: |
           echo '${{ env.oscar_run_doctests }}'
           julia --color=yes --project=oscar-dev/project/ -e '${{ env.oscar_run_doctests }}'
+      - name: Archive wrappers
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: wrappers
+          path: |
+            ~/.julia/scratchspaces/d720cf60-89b5-51f5-aff5-213f193123e7/**/*.cpperl

From a95831f1c7338bc733fa7cd45b45889c0cd5ae46 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Thu, 17 Oct 2024 10:32:17 +0200
Subject: [PATCH 2/6] OscarCI: fix to ubuntu 22

---
 OscarCI.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/OscarCI.toml b/OscarCI.toml
index c81ae34b..7c4c44d3 100644
--- a/OscarCI.toml
+++ b/OscarCI.toml
@@ -1,7 +1,7 @@
 title = "metadata for oscar CI run"
 
 [env]
-os = [ "ubuntu-latest" ]
+os = [ "ubuntu-22.04" ]
 julia-version = [ "~1.6.0-0", "~1.10.0-0"]
 # branches = [ "release", "<matching>" ]
 

From 653fc3aca2f00f269735057762e32687f202fbe1 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Sat, 19 Oct 2024 21:17:59 +0200
Subject: [PATCH 3/6] CI: rename wrapper artifact

---
 .github/workflows/oscar.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 7a0d1b88..41c72124 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -111,10 +111,14 @@ jobs:
         run: |
           echo '${{ env.oscar_run_doctests }}'
           julia --color=yes --project=oscar-dev/project/ -e '${{ env.oscar_run_doctests }}'
+      - name: "random id to make name unique"
+        if: always()
+        run: |
+          echo "OSCARCI_RUN_ID=$RANDOM >> $GITHUB_ENV"
       - name: Archive wrappers
         if: always()
         uses: actions/upload-artifact@v4
         with:
-          name: wrappers
+          name: "wrappers-${{ join(matrix.*.name) }}-${{ env.OSCARCI_RUN_ID }}"
           path: |
             ~/.julia/scratchspaces/d720cf60-89b5-51f5-aff5-213f193123e7/**/*.cpperl

From cd84b5f26427ca7de927c921a373bb027a5597e7 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Fri, 13 Dec 2024 23:20:00 +0100
Subject: [PATCH 4/6] ignore more manifests

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4bf66224..cc88be2c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,7 @@
 *.jl.*.cov
 *.jl.mem
 local
-Manifest.toml
+Manifest*.toml
 src/generated/json/*.json
 src/generated/*.jl
 .vscode

From f41aa51ee6f5f2f9647ec0eb6eb63428bac05e1a Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Sat, 14 Dec 2024 14:53:53 +0100
Subject: [PATCH 5/6] rename wrapper artifact again

---
 .github/workflows/oscar.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 41c72124..b0a5c6fa 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -111,14 +111,10 @@ jobs:
         run: |
           echo '${{ env.oscar_run_doctests }}'
           julia --color=yes --project=oscar-dev/project/ -e '${{ env.oscar_run_doctests }}'
-      - name: "random id to make name unique"
-        if: always()
-        run: |
-          echo "OSCARCI_RUN_ID=$RANDOM >> $GITHUB_ENV"
       - name: Archive wrappers
         if: always()
         uses: actions/upload-artifact@v4
         with:
-          name: "wrappers-${{ join(matrix.*.name) }}-${{ env.OSCARCI_RUN_ID }}"
+          name: "wrappers-${{ join(matrix.*.name) }} - ${{ matrix.os }} - julia ${{ matrix.julia-version}}"
           path: |
             ~/.julia/scratchspaces/d720cf60-89b5-51f5-aff5-213f193123e7/**/*.cpperl

From 8846c7fe4a838c79f724e716cf1358028dd67c05 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Thu, 26 Dec 2024 13:33:09 +0100
Subject: [PATCH 6/6] OscarCI: switch to ubuntu 24.04

---
 OscarCI.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/OscarCI.toml b/OscarCI.toml
index 7c4c44d3..33e2bbd5 100644
--- a/OscarCI.toml
+++ b/OscarCI.toml
@@ -1,7 +1,7 @@
 title = "metadata for oscar CI run"
 
 [env]
-os = [ "ubuntu-22.04" ]
+os = [ "ubuntu-24.04" ]
 julia-version = [ "~1.6.0-0", "~1.10.0-0"]
 # branches = [ "release", "<matching>" ]