From 6f749978e3842173932a2ea3226b1212faa37a4f Mon Sep 17 00:00:00 2001 From: Zach Mandeville Date: Thu, 8 Aug 2024 14:03:16 +1200 Subject: [PATCH 1/2] Add analogous gh action for circle-ci build check --- .github/workflows/check-build.yaml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .github/workflows/check-build.yaml diff --git a/.github/workflows/check-build.yaml b/.github/workflows/check-build.yaml new file mode 100644 index 0000000..3e5e802 --- /dev/null +++ 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 \ No newline at end of file From 7ac85e217a3238579418f3ef05d95b450a9c7b88 Mon Sep 17 00:00:00 2001 From: Zach Mandeville Date: Thu, 8 Aug 2024 14:04:08 +1200 Subject: [PATCH 2/2] Delete .circleci and its config --- .circleci/config.yml | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .circleci/config.yml diff --git a/.circleci/config.yml b/.circleci/config.yml deleted file mode 100644 index 0b337fa..0000000 --- a/.circleci/config.yml +++ /dev/null @@ -1,12 +0,0 @@ -version: 2.1 - -jobs: - build: - docker: - - image: cimg/rust:1.72 - steps: - - checkout - - run: cargo --version - - run: - name: Run Check - command: "cargo install cargo-risczero && cargo risczero install && cargo check" \ No newline at end of file