From bc70de99e2d3e2acecef211837df2a8e2f93242e Mon Sep 17 00:00:00 2001 From: "alon.dotan" Date: Wed, 28 Feb 2024 15:13:02 +0200 Subject: [PATCH 1/3] Dummy PR --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index dc064d724..6f792442d 100644 --- a/README.md +++ b/README.md @@ -1 +1 @@ -# prover-research \ No newline at end of file +# prover-research From 706ae2956ee6ff9e6a31a37206b4aedb22551d2e Mon Sep 17 00:00:00 2001 From: "alon.dotan" Date: Wed, 28 Feb 2024 21:45:59 +0200 Subject: [PATCH 2/3] WIP --- .github/workflows/ci.yaml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 13b64121a..d5acca3fe 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -50,9 +50,11 @@ jobs: with: profile: minimal toolchain: nightly-2024-01-04 - - uses: Swatinem/rust-cache@v2 - - run: cargo +nightly-2024-01-04 test --features avx512 + # - uses: Swatinem/rust-cache@v2 + - run: hostname; + - run: cargo +nightly-2024-01-04 test --features avx512 - run: cargo +nightly-2024-01-04 test --features avx512 --release + udeps: runs-on: ubuntu-latest steps: From 91c01e37fb703eec34616e3e7938c0441ca51776 Mon Sep 17 00:00:00 2001 From: "alon.dotan" Date: Wed, 28 Feb 2024 21:57:11 +0200 Subject: [PATCH 3/3] wip --- .github/workflows/ci.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index d5acca3fe..efb925b69 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -51,6 +51,7 @@ jobs: profile: minimal toolchain: nightly-2024-01-04 # - uses: Swatinem/rust-cache@v2 + - run: echo bla - run: hostname; - run: cargo +nightly-2024-01-04 test --features avx512 - run: cargo +nightly-2024-01-04 test --features avx512 --release