Skip to content

Adapt to coq/coq#19690 (Hint Extern respects default proof mode) #224

Adapt to coq/coq#19690 (Hint Extern respects default proof mode)

Adapt to coq/coq#19690 (Hint Extern respects default proof mode) #224

Workflow file for this run

name: CI (Python)
on:
push:
paths:
- training/**
- Makefile
- .github/workflows/python.yml
branches:
- main
pull_request:
workflow_dispatch:
defaults:
run:
working-directory: training
jobs:
test-python:
strategy:
fail-fast: false
matrix:
python-version: [3.11]
runs-on: ubuntu-latest
name: ${{ matrix.python-version }}
concurrency:
group: ${{ github.workflow }}-${{ matrix.python-version }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Runner Info for ${{ github.workflow }}-${{ matrix.python-version }}-${{ github.head_ref || github.run_id }}
run: true
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
cache: 'pip'
- name: Install system dependencies
run: |
sudo apt-get update
sudo apt-get install -y libgmp-dev libmpfr-dev libmpc-dev
- name: Install dependencies
run: |
python -m pip install --upgrade pip
python -m pip install -r requirements.txt
- uses: liskin/gh-problem-matcher-wrap@v3
with:
action: add
linters: flake8
- name: Lint with flake8
run: |
pip install flake8
# stop the build if there are Python syntax errors or undefined names
flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics
# exit-zero treats all errors as warnings. The GitHub editor is 127 chars wide
flake8 . --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
- uses: liskin/gh-problem-matcher-wrap@v3
with:
action: remove
linters: flake8
- run: make check
- run: wandb login --anonymously
- run: make analyze