Migrate circle-ci job to a github action (#90)

* Add analogous gh action for circle-ci build check * Delete .circleci and its config
entropyxyz · Aug 9, 2024 · f14d88b · f14d88b
1 parent dd6a54c
commit f14d88b
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 12 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.github/workflows/check-build.yaml b/.github/workflows/check-build.yaml
@@ -0,0 +1,13 @@
+---
+name: "Check build"
+on: ["push"]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Print version
+        run: cargo --version
+      - name: Run check
+        run: cargo install cargo-risczero && cargo risczero install && cargo check