diff --git a/.github/workflows/black.yml b/.github/workflows/black.yml new file mode 100644 index 000000000..6fe7c56b7 --- /dev/null +++ b/.github/workflows/black.yml @@ -0,0 +1,20 @@ +# This file is part of BenchExec, a framework for reliable benchmarking: +# https://github.com/sosy-lab/benchexec +# +# SPDX-FileCopyrightText: 2023 Dirk Beyer +# +# SPDX-License-Identifier: Apache-2.0 + +name: Check code format + +on: [push, pull_request] + +jobs: + check: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: psf/black@stable + with: + options: "--check --diff" + version: "<2024" diff --git a/.github/workflows/reuse.yml b/.github/workflows/reuse.yml new file mode 100644 index 000000000..b2093640e --- /dev/null +++ b/.github/workflows/reuse.yml @@ -0,0 +1,17 @@ +# This file is part of BenchExec, a framework for reliable benchmarking: +# https://github.com/sosy-lab/benchexec +# +# SPDX-FileCopyrightText: 2023 Dirk Beyer +# +# SPDX-License-Identifier: Apache-2.0 + +name: REUSE Compliance Check + +on: [push, pull_request] + +jobs: + check: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: fsfe/reuse-action@v1 diff --git a/.github/workflows/ruff.yml b/.github/workflows/ruff.yml new file mode 100644 index 000000000..d65cae890 --- /dev/null +++ b/.github/workflows/ruff.yml @@ -0,0 +1,17 @@ +# This file is part of BenchExec, a framework for reliable benchmarking: +# https://github.com/sosy-lab/benchexec +# +# SPDX-FileCopyrightText: 2023 Dirk Beyer +# +# SPDX-License-Identifier: Apache-2.0 + +name: Ruff + +on: [push, pull_request] + +jobs: + check: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: chartboost/ruff-action@v1