ci: add template check

cspr-rad · Jan 12, 2024 · 1ecc21c · 1ecc21c
1 parent 452d354
commit 1ecc21c
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -40,3 +40,15 @@ jobs:
       - name: r0vm
         if: matrix.os == 'macos-latest'
         run: nix build -L --no-link --show-trace .#packages.x86_64-darwin.r0vm
+
+      - name: template
+        if: matrix.os == 'ubuntu-latest'
+        run: |
+          git config --global init.defaultBranch main
+          ./scripts/use-template.sh
+
+      - name: template
+        if: matrix.os == 'macos-latest'
+        run: |
+          git config --global init.defaultBranch main
+          ./scripts/use-template.sh
diff --git a/scripts/use-template.sh b/scripts/use-template.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+mkdir risc0-workspace
+cd risc0-workspace
+
+nix flake init -t github:cspr-rad/risc0pkgs
+
+git init
+git add -A
+
+nix build .#risc0prover