Skip to content

Update README.md

Update README.md #146

Workflow file for this run

# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT
name: Format Check
on: pull_request
jobs:
format-check:
runs-on: ubuntu-latest
steps:
- name: Checkout this repo
uses: actions/checkout@v2
- name: Execute copyright check
run: ./scripts/run-copyright-check.sh
- name: Check C code formatting
run: ./scripts/run-clang-format.sh -d
- name: Check Python code formatting
run: |
pip3 install --upgrade autopep8
./scripts/run-autopep8.sh