Pull in whatever has happened in dev

TEIC · Aug 24, 2023 · f866ed0 · f866ed0
2 parents f0d218a + 2322b81
commit f866ed0
Show file tree

Hide file tree

Showing 68 changed files with 20,538 additions and 11,825 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -17,7 +17,7 @@ jobs:
       options: "--user root"
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
 
       - name: Run tests from the Test directory
         run: make clean test deb dist
@@ -37,7 +37,7 @@ jobs:
       options: "--user root"
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
 
       - name: Run tests from the Test2 directory
         run: make test2