Make formula expansion deterministic #577
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Lint | |
on: [push, pull_request] | |
env: | |
LLVM_CONFIG: /usr/bin/llvm-config-14 | |
PS_PACKAGES: libps4000 libps5000 libps6000 | |
GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev | |
FLINT_PACKAGES: libflint-dev | |
OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-14 libllvm14 llvm-14-dev libpari-dev pari-gp pari-seadata | |
jobs: | |
lint: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
submodules: true | |
- uses: actions/cache@v4 | |
with: | |
path: ~/.cache/pip | |
key: pip-${{ runner.os }}-3.11-${{ hashFiles('pyproject.toml') }} | |
restore-keys: | | |
pip-${{ runner.os }}- | |
- name: Setup Python 3.11 | |
uses: actions/setup-python@v5 | |
with: | |
python-version: "3.11" | |
- name: Add picoscope repository | |
run: | | |
curl "https://labs.picotech.com/debian/dists/picoscope/Release.gpg.key" | sudo apt-key add | |
sudo echo "deb https://labs.picotech.com/debian/ picoscope main" | sudo tee /etc/apt/sources.list.d/picoscope.list | |
sudo apt-get update | |
- name: Install system dependencies | |
run: | | |
sudo apt-get install -y $PS_PACKAGES $OTHER_PACKAGES $GMP_PACKAGES $FLINT_PACKAGES | |
- name: Install picoscope bindings | |
run: | | |
python -m pip install -U pip setuptools wheel | |
git clone https://github.com/colinoflynn/pico-python && cd pico-python && pip install . && cd .. | |
git clone https://github.com/picotech/picosdk-python-wrappers && cd picosdk-python-wrappers && pip install . && cd .. | |
- name: Install dependencies | |
run: | | |
pip install -e ".[picoscope_sdk, picoscope_alt, chipwhisperer, smartcard, gmp, flint, leia, test, dev]" | |
- name: Typecheck | |
run: | | |
make typecheck | |
- name: Codestyle | |
run: | | |
make codestyle-all | |
- name: Documentation coverage | |
run: | | |
make doc-coverage |