chore: initial repository setup for programs

2026-08-25 14:11:09 +00:00 · 2026-03-30 23:58:43 +02:00
parent d61d02adf6
commit 45ed284825
64 changed files with 24597 additions and 1 deletions
@@ -0,0 +1,12 @@
+name: Install risc0
+description: Installs risc0 in the environment
+runs:
+  using: "composite"
+  steps:
+    - name: Install risc0
+      run: |
+        curl -L https://risczero.com/install | bash
+        /home/runner/.risc0/bin/rzup install
+      shell: bash
+
+