ci: add check workflow

Signed-off-by: Paul Meyer <[email protected]>
edgelesssys · Dec 18, 2023 · 98c7c86 · 98c7c86
1 parent 7af652a
commit 98c7c86
Showing 1 changed file with 24 additions and 0 deletions.
diff --git a/.github/workflows/static.yml b/.github/workflows/static.yml
@@ -0,0 +1,24 @@
+name: stactic checks
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+  fmt:
+    name: check
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3.6.0
+
+      - name: Install Nix
+        uses: cachix/install-nix-action@v24
+        with:
+          github_access_token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: nix flake check
+        run: nix -L flake check