diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-31 00:06:05 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-01 09:01:23 +0100 |
| commit | e3d69e73f48d7c59cf800f7c17f1bf729c15a3df (patch) | |
| tree | c2bd7a32f5116ae6482059bce31826f8f477bc94 /.github | |
| parent | d31f0ab6e93da3a01edaf5415daa5bda62436216 (diff) | |
| download | ghdl-e3d69e73f48d7c59cf800f7c17f1bf729c15a3df.tar.gz ghdl-e3d69e73f48d7c59cf800f7c17f1bf729c15a3df.tar.bz2 ghdl-e3d69e73f48d7c59cf800f7c17f1bf729c15a3df.zip | |
ci: test if pyGHDL needs to be updated
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 41 |
1 files changed, 26 insertions, 15 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 3effaf5c6..50cd3cbd0 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -11,25 +11,36 @@ env: jobs: # -# Format +# pyGHDL # -# fmt: -# runs-on: ubuntu-latest -# name: '🐍 Format (black)' -# steps: -# -# - name: '🧰 Checkout' -# uses: actions/checkout@v2 -# -# - name: '🐍 Setup Python' -# uses: actions/setup-python@v2 -# with: -# python-version: 3.8 -# + fmt: + runs-on: ubuntu-latest + name: '🐍 pyGHDL' + steps: + + - name: '🧰 Checkout' + uses: actions/checkout@v2 + + - name: '🐍 Setup Python' + uses: actions/setup-python@v2 + with: + python-version: 3.8 + + - name: Install dependencies + run: | + sudo apt update -qq + sudo apt install -y gnat + + - name: Update Python bindings + run: ./scripts/update_py_bindings.sh + + - name: Check if Python bindings changed + run: git diff --quiet || git status + # - run: python -m pip install black # -# - run: python -m black --check python +# - run: python -m black --check pyGHDL # # GPL |