diff options
-rw-r--r-- | .github/workflows/build.yaml | 8 |
1 files 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 |