ci: add template check

cspr-rad · Jan 12, 2024 · a510254 · a510254
1 parent 144c9a4
commit a510254
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 1 deletion.
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/README.md b/README.md
@@ -13,7 +13,7 @@ nix flake init -t github:cspr-rad/risc0pkgs
 git init
 git add -A
 
-nix build .#risc0prover
+nix build .#risc0package
 ```
 
 Note: Change the `system` to `aarch64-darwin` if you're on macOS.

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 .#risc0package