CI updates

2023-08-27 13:30:51 +02:00
parent b526eed346
commit 25a3c109c1
24 changed files with 59 additions and 42 deletions
@@ -8,7 +8,7 @@ env:

 jobs:
  job-unused: # uses cmake + make
-    if: ${{ true }}
+    if: true
    runs-on: ubuntu-latest
    steps:
      - run: |