From b71d3a5d0b5d206464d2703b8e8ce3c0b6451216 Mon Sep 17 00:00:00 2001
From: Tommy Gatti <tommy.gatti@anu.edu.au>
Date: Fri, 13 Sep 2024 16:56:22 +1000
Subject: [PATCH] Trying JSONschema

---
 .github/workflows/jsonschema.yml | 12 ++++++++++++
 .github/workflows/test.yml       |  3 +--
 2 files changed, 13 insertions(+), 2 deletions(-)
 create mode 100644 .github/workflows/jsonschema.yml

diff --git a/.github/workflows/jsonschema.yml b/.github/workflows/jsonschema.yml
new file mode 100644
index 0000000..97fcda2
--- /dev/null
+++ b/.github/workflows/jsonschema.yml
@@ -0,0 +1,12 @@
+name: Jsonschema test
+on:
+  workflow_dispatch:
+jobs:
+  jsonschema:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.11'
+      - run: jsonschema ./config/compilers.schema.json --instance ./config/compilers.json
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 7f4ccd6..781c5c8 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -17,8 +17,7 @@ jobs:
       - run: echo "${{ inputs.paths }}"
 
       - env:
-          PATHS: |
-            ${{ inputs.paths }}
+          PATHS: ${{ inputs.paths }}
         run: |
           for path in ${{ env.PATHS }}; do
             echo "$path"