Skip to content

Delete .circleci and its config #1

Delete .circleci and its config

Delete .circleci and its config #1

Workflow file for this run

---
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