From 4f93d18c250819c5a490872e46caa76de0d52839 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 20:14:54 +0100
Subject: [PATCH 01/12] Extend CI

---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index 27ae5526..9703a0e4 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-latest, ubuntu-22.04]
+        os: [macos-13, ubuntu-22.04]
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++

From d8a519569ca40cdfc973f14d87f971b6568a5dd5 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 20:17:02 +0100
Subject: [PATCH 02/12] Update CI

---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index 9703a0e4..9d471a6a 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-13, ubuntu-22.04]
+        os: [macos-13, macos-12] # Rememebr to add ubuntu-22.04
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++

From 2885503b477bda00c5d079293b5755d3e1f21c2c Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 20:19:45 +0100
Subject: [PATCH 03/12] Update github-ci.yml

---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index 9d471a6a..f196d6a5 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-13, macos-12] # Rememebr to add ubuntu-22.04
+        os: [macos-12] # Rememebr to add ubuntu-22.04
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++

From f6fbf827d2dad3c93203d0e3c6224a539827d5ad Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 20:23:30 +0100
Subject: [PATCH 04/12] Update github-ci.yml

---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index f196d6a5..7f731afe 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-12] # Rememebr to add ubuntu-22.04
+        os: [macos-latest] # Rememebr to add ubuntu-22.04
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++

From 5aa20a45227d07a28bb969bb3045cf7eb114f56b Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 20:50:34 +0100
Subject: [PATCH 05/12] Update github-ci.yml

---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index 7f731afe..f196d6a5 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-latest] # Rememebr to add ubuntu-22.04
+        os: [macos-12] # Rememebr to add ubuntu-22.04
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++

From 214c6ab72585f951f9bcd899004a7186c32a5c28 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 21:06:15 +0100
Subject: [PATCH 06/12] Updates to CI

---
 ci/install_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install_deps.sh b/ci/install_deps.sh
index 4c7370c3..67593ed6 100755
--- a/ci/install_deps.sh
+++ b/ci/install_deps.sh
@@ -54,7 +54,7 @@ if [ "${RUNNER_OS%-*}" == "ubuntu" ]; then
     sudo apt-get -yq --no-install-suggests --no-install-recommends install libgmp-dev libntl-dev bats
 fi
 
-if [ "${RUNNER_OS}" == "macos-latest" ]; then
+if [ "${RUNNER_OS}" == "macos-latest" || "${RUNNER_OS}" == "macos-12" || "${RUNNER_OS}" == "macos-13"]; then
   brew install ntl bats-core
 fi
 

From 2e26866675020f726938076961b18e44bc9fae97 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 21:07:41 +0100
Subject: [PATCH 07/12] Updates to CI

---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index f196d6a5..d31a7a8d 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-12] # Rememebr to add ubuntu-22.04
+        os: [macos-12, macos-13] # Rememebr to add ubuntu-22.04
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++

From a08bf8c7f9010e9f0f53fca35bea04a4d5627397 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 21:13:10 +0100
Subject: [PATCH 08/12] Updates to CI

---
 ci/install_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install_deps.sh b/ci/install_deps.sh
index 67593ed6..d7dd52bc 100755
--- a/ci/install_deps.sh
+++ b/ci/install_deps.sh
@@ -54,7 +54,7 @@ if [ "${RUNNER_OS%-*}" == "ubuntu" ]; then
     sudo apt-get -yq --no-install-suggests --no-install-recommends install libgmp-dev libntl-dev bats
 fi
 
-if [ "${RUNNER_OS}" == "macos-latest" || "${RUNNER_OS}" == "macos-12" || "${RUNNER_OS}" == "macos-13"]; then
+if [ "${RUNNER_OS}" == "macos-latest" || "${RUNNER_OS}" == "macos-12" || "${RUNNER_OS}" == "macos-13" ]; then
   brew install ntl bats-core
 fi
 

From 649596141ea14974c897cb19be796d793810a7a7 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 21:19:08 +0100
Subject: [PATCH 09/12] Updates to CI

---
 ci/install_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install_deps.sh b/ci/install_deps.sh
index d7dd52bc..25593d2f 100755
--- a/ci/install_deps.sh
+++ b/ci/install_deps.sh
@@ -54,7 +54,7 @@ if [ "${RUNNER_OS%-*}" == "ubuntu" ]; then
     sudo apt-get -yq --no-install-suggests --no-install-recommends install libgmp-dev libntl-dev bats
 fi
 
-if [ "${RUNNER_OS}" == "macos-latest" || "${RUNNER_OS}" == "macos-12" || "${RUNNER_OS}" == "macos-13" ]; then
+if [ [ "${RUNNER_OS}" == "macos-latest"  || "${RUNNER_OS}" == "macos-12" || "${RUNNER_OS}" == "macos-13" ] ]; then
   brew install ntl bats-core
 fi
 

From fd92d5ab2c2037016db5740b87f4c25866061447 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 21:20:54 +0100
Subject: [PATCH 10/12] Updates to CI

---
 ci/install_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install_deps.sh b/ci/install_deps.sh
index 25593d2f..5aaa195a 100755
--- a/ci/install_deps.sh
+++ b/ci/install_deps.sh
@@ -54,7 +54,7 @@ if [ "${RUNNER_OS%-*}" == "ubuntu" ]; then
     sudo apt-get -yq --no-install-suggests --no-install-recommends install libgmp-dev libntl-dev bats
 fi
 
-if [ [ "${RUNNER_OS}" == "macos-latest"  || "${RUNNER_OS}" == "macos-12" || "${RUNNER_OS}" == "macos-13" ] ]; then
+if [ [ "${RUNNER_OS}" == "macos-latest" ]  || [ "${RUNNER_OS}" == "macos-12" ] || [ "${RUNNER_OS}" == "macos-13" ] ]; then
   brew install ntl bats-core
 fi
 

From a6db71507450ae3474f04cb79e8f1e4ab1e8afe5 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 21:28:05 +0100
Subject: [PATCH 11/12] Updates to CI

---
 ci/install_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install_deps.sh b/ci/install_deps.sh
index 5aaa195a..a0680d04 100755
--- a/ci/install_deps.sh
+++ b/ci/install_deps.sh
@@ -54,7 +54,7 @@ if [ "${RUNNER_OS%-*}" == "ubuntu" ]; then
     sudo apt-get -yq --no-install-suggests --no-install-recommends install libgmp-dev libntl-dev bats
 fi
 
-if [ [ "${RUNNER_OS}" == "macos-latest" ]  || [ "${RUNNER_OS}" == "macos-12" ] || [ "${RUNNER_OS}" == "macos-13" ] ]; then
+if [ "${RUNNER_OS}" == "macos-latest" ]  || [ "${RUNNER_OS}" == "macos-12" ] || [ "${RUNNER_OS}" == "macos-13" ] ; then
   brew install ntl bats-core
 fi
 

From 5b21c3c57c59777ac6279ef432964d2db1be7923 Mon Sep 17 00:00:00 2001
From: Flavio Bergamaschi <anadyomeni@gmx.com>
Date: Fri, 14 Jul 2023 22:58:08 +0100
Subject: [PATCH 12/12] Updates to CI

Removed ubuntu-20.04
Added macOS 12, and MacOS 13
---
 .github/workflows/github-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index d31a7a8d..2016604b 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -39,7 +39,7 @@ jobs:
         package_build: [ON, OFF]
         hexl: [ON, OFF]
         c_compiler: [gcc, clang]
-        os: [macos-12, macos-13] # Rememebr to add ubuntu-22.04
+        os: [macos-12, macos-13, ubuntu-22.04]
         include: # Use g++ with gcc only and clang++ with clang only
           - c_compiler: gcc
             cxx_compiler: g++