Skip to content

Apply flake8 suggestion to make any() lazy #19

Apply flake8 suggestion to make any() lazy

Apply flake8 suggestion to make any() lazy #19

Workflow file for this run

# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0
name: REUSE Compliance Check
on: [push, pull_request]
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: fsfe/reuse-action@v3