Skip to content

More branch cleanup #280

More branch cleanup

More branch cleanup #280

Workflow file for this run

# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT
name: Kani Format Check
on:
pull_request:
push:
# Not just any push, as that includes tags.
# We don't want to re-trigger this workflow when tagging an existing commit.
branches:
- '**'
jobs:
format-check:
runs-on: ubuntu-latest
steps:
- name: Checkout Kani
uses: actions/checkout@v3
- name: Execute copyright check
run: ./scripts/ci/run-copyright-check.sh
# Ignore failures here for now until we can pindown a version.
- name: Check C code formatting
continue-on-error: true
run: ./scripts/run-clang-format.sh -d
- name: Check Python code formatting
run: |
pip3 install --upgrade autopep8
./scripts/run-autopep8.sh
clippy-check:
runs-on: ubuntu-20.04
steps:
- name: Checkout Kani
uses: actions/checkout@v3
- name: Setup Kani Dependencies
uses: ./.github/actions/setup
with:
os: ubuntu-20.04
- name: 'Install jq for parsing.'
run: |
sudo apt-get install -y jq
- name: 'Run Clippy'
run: |
cargo clippy --all -- -D warnings
- name: 'Print Clippy Statistics'
run: |
rm .cargo/config.toml
(cargo clippy --all --message-format=json 2>/dev/null | \
jq 'select(.message!=null) | .message.code.code' | grep -v '^null$' | \
sort | uniq -c) || true