From ba07d591bd5ae0fc8708ecba021ce4267c758a36 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Tue, 11 Apr 2023 14:38:19 -0700 Subject: [PATCH 1/2] Update tests.yml Update actions to remove node deprecation warning --- .github/workflows/tests.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index d494847fcf..c3f2350635 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -10,21 +10,21 @@ jobs: check-tests: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3.5 - name: Clone fixpoint run: | git clone https://github.com/ucsd-progsys/liquid-fixpoint echo "fixpoint_hash=$(git -C liquid-fixpoint/ rev-parse HEAD)" >> $GITHUB_ENV echo "local_binaries_path=$(pwd)/local-binaries" >> $GITHUB_ENV - name: Cache fixpoint - uses: actions/cache@v2 + uses: actions/cache@v3.3.1 id: cache-fixpoint with: path: local-binaries key: fixpoint-bin-${{ runner.os }}-${{ env.fixpoint_hash }} - name: Install Haskell if: steps.cache-fixpoint.outputs.cache-hit != 'true' - uses: haskell/actions/setup@v1 + uses: haskell/actions/setup@v2.3.7 with: enable-stack: true stack-version: "latest" @@ -56,7 +56,7 @@ jobs: check-fmt: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3.5 - name: Rust Cache uses: Swatinem/rust-cache@v2.2.1 - name: Rust rustfmt @@ -65,7 +65,7 @@ jobs: check-clippy: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3.5 - name: Add clippy run: rustup component add clippy - name: Rust Cache From 52cab99c94a62c0eee50f602b5e1a348f2a64921 Mon Sep 17 00:00:00 2001 From: Nico Lehmann Date: Tue, 11 Apr 2023 14:40:45 -0700 Subject: [PATCH 2/2] Update tests.yml --- .github/workflows/tests.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index c3f2350635..cba950208d 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -10,7 +10,7 @@ jobs: check-tests: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3.5 + - uses: actions/checkout@v3 - name: Clone fixpoint run: | git clone https://github.com/ucsd-progsys/liquid-fixpoint @@ -56,7 +56,7 @@ jobs: check-fmt: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3.5 + - uses: actions/checkout@v3 - name: Rust Cache uses: Swatinem/rust-cache@v2.2.1 - name: Rust rustfmt @@ -65,7 +65,7 @@ jobs: check-clippy: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3.5 + - uses: actions/checkout@v3 - name: Add clippy run: rustup component add clippy - name: Rust Cache