From c0ccd2b0ff345721182985f7f3fb27fec5338fcd Mon Sep 17 00:00:00 2001 From: Sergey Morozov Date: Thu, 29 Feb 2024 17:11:37 +0300 Subject: [PATCH 1/3] test --- include/klee/Module/KType.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/klee/Module/KType.h b/include/klee/Module/KType.h index 59ab9021e2..dd8d2ab65a 100644 --- a/include/klee/Module/KType.h +++ b/include/klee/Module/KType.h @@ -8,7 +8,7 @@ #include namespace llvm { -class Type; +class Type; class raw_ostream; } // namespace llvm From bc7122a860f132ec2ff5ff6d0bd45080616d10d2 Mon Sep 17 00:00:00 2001 From: Sergey Morozov Date: Thu, 29 Feb 2024 17:20:33 +0300 Subject: [PATCH 2/3] needs --- .github/workflows/build.yaml | 26 +++++++++++++++----------- 1 file changed, 15 insertions(+), 11 deletions(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 2e911bd10a..2c8a3b201b 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -33,7 +33,19 @@ env: JSON_VERSION: v3.11.3 jobs: + clang-format: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: actions/setup-python@v4 + with: + python-version: 3.x + - uses: pre-commit/action@v3.0.1 + - uses: pre-commit-ci/lite-action@v1.0.2 + if: always() + Linux: + needs: clang-format runs-on: ubuntu-latest strategy: matrix: @@ -143,6 +155,7 @@ jobs: run: scripts/build/run-tests.sh --run-docker --debug macOS: + needs: clang-format runs-on: macos-latest env: BASE: /tmp @@ -163,6 +176,7 @@ jobs: run: scripts/build/run-tests.sh /tmp/klee_build* --debug Docker: + needs: clang-format runs-on: ubuntu-latest steps: - name: Checkout KLEE Code @@ -173,6 +187,7 @@ jobs: run: docker build . Coverage: + needs: clang-format runs-on: ubuntu-latest strategy: matrix: @@ -209,14 +224,3 @@ jobs: - name: Run tests env: ${{ matrix.env }} run: scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug - - clang-format: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - uses: actions/setup-python@v4 - with: - python-version: 3.x - - uses: pre-commit/action@v3.0.1 - - uses: pre-commit-ci/lite-action@v1.0.2 - if: always() From 3c03c7244735a2b92fc23f43a360ed96297212d0 Mon Sep 17 00:00:00 2001 From: "pre-commit-ci-lite[bot]" <117423508+pre-commit-ci-lite[bot]@users.noreply.github.com> Date: Thu, 29 Feb 2024 14:21:51 +0000 Subject: [PATCH 3/3] [pre-commit.ci lite] apply automatic fixes --- include/klee/Module/KType.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/klee/Module/KType.h b/include/klee/Module/KType.h index dd8d2ab65a..59ab9021e2 100644 --- a/include/klee/Module/KType.h +++ b/include/klee/Module/KType.h @@ -8,7 +8,7 @@ #include namespace llvm { -class Type; +class Type; class raw_ostream; } // namespace llvm