Skip to content

do not look for Ultimate binary to verify Ultimate dir, look for one … #17

do not look for Ultimate binary to verify Ultimate dir, look for one …

do not look for Ultimate binary to verify Ultimate dir, look for one … #17

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: Check code format
on: [push, pull_request]
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: psf/black@stable
with:
options: "--check --diff"
version: "<25"