Minor maintenance updates (#336)

2026-07-22 22:56:07 +00:00 · 2025-05-29 15:50:24 +01:00
parent 220876a6da
commit e1b020163b
14 changed files with 19339 additions and 1970 deletions
@@ -52,6 +52,16 @@ jobs:
      - name: Check if build left artifacts
        run: git diff --exit-code --ignore-space-at-eol

+  check_action:
+    name: Action
+    runs-on: ubuntu-latest
+    if: github.ref != 'refs/heads/main'
+    permissions:
+      contents: read
+    steps:
+      - uses: actions/checkout@v4
+      - uses: raven-actions/actionlint@v2
+
  unit_tests_ubuntu:
    name: Unit tests (Ubuntu)
    runs-on: ubuntu-latest