Skip to content

Run proofs with CBMC 6.2.0 (#1149) #3046

Run proofs with CBMC 6.2.0 (#1149)

Run proofs with CBMC 6.2.0 (#1149) #3046

Workflow file for this run

name: Lint
on: [push]
jobs:
clang-tidy:
strategy:
matrix:
host: [ubuntu-22.04] # latest
runs-on: ${{ matrix.host }}
steps:
- name: Checkout Sources
uses: actions/checkout@v3
- name: clang-tidy lint
run: |
python3 -c "from urllib.request import urlretrieve; urlretrieve('https://d19elf31gohf1l.cloudfront.net/LATEST/builder.pyz?run=${{ env.RUN }}', 'builder')"
chmod a+x builder
./builder clang-tidy --project=aws-c-common