blob: 179550c698d5b5e03981aa094c31f8c4996fa119 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
name: Lint
on: [push, pull_request]
env:
LLVM_CONFIG: /usr/bin/llvm-config-10
PS_PACKAGES: libps4000 libps5000 libps6000
GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev
OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-10 libllvm10 llvm-10-dev libpari-dev pari-gp pari-seadata
jobs:
lint:
runs-on: ubuntu-20.04
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
- name: Install picoscope bindings
run: |
python -m pip install -U pip setuptools wheel
git clone https://github.com/J08nY/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, test, dev]"
- name: Typecheck
run: |
make typecheck
- name: Codestyle
run: |
make codestyle-all
- name: Documentation coverage
run: |
make doc-coverage
|
