From b4d9a72a8be631c45aff20c95e2b78259e519d13 Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Thu, 30 Jun 2022 02:24:25 +0100 Subject: update github checkout action to v3 --- .github/workflows/build.yaml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 8448d6b0..b47995c8 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -118,7 +118,7 @@ jobs: KLEE_RUNTIME_BUILD: "Release+Debug+Asserts" steps: - name: Checkout KLEE source code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Build KLEE env: ${{ matrix.env }} run: scripts/build/build.sh klee --docker --create-final-image @@ -137,7 +137,7 @@ jobs: - name: Install newer version of Bash run: brew install bash - name: Checkout KLEE source code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Build KLEE run: scripts/build/build.sh klee --debug --install-system-deps - name: Run tests @@ -147,7 +147,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout KLEE Code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Build Docker image run: docker build . @@ -171,7 +171,7 @@ jobs: COVERAGE: 1 steps: - name: Checkout KLEE source code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Build KLEE env: ${{ matrix.env }} run: scripts/build/build.sh klee --docker --create-final-image -- cgit 1.4.1