diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-30 02:24:25 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-30 12:07:45 +0100 |
| commit | b4d9a72a8be631c45aff20c95e2b78259e519d13 (patch) | |
| tree | a3f2a836a4d6774c11a9aa2178f69007fa314328 /.github/workflows | |
| parent | 3a8b3bb1e8f8601e8a5598a652fad6d8d510fb30 (diff) | |
| download | klee-b4d9a72a8be631c45aff20c95e2b78259e519d13.tar.gz | |
update github checkout action to v3
Diffstat (limited to '.github/workflows')
| -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 |