Skip to content

Annotations refactor alternative? #111

Annotations refactor alternative?

Annotations refactor alternative? #111

Workflow file for this run

# This workflow will install Python dependencies, run tests and lint with a single version of Python
# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions
name: Python application
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ["3.10", "3.11"]
steps:
- uses: actions/checkout@v3
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v4
with:
python-version: ${{ matrix.python-version }}
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install flake8 pytest mypy
if [ -f requirements.pip ]; then pip install -r requirements.pip; fi
- name: Lint with mypy
run: |
mypy aeon --no-strict-optional --ignore-missing-imports
- name: Lint with flake8
run: |
# 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
- name: Check install
run: |
pip install -e .
- name: Test with pytest
run: |
pytest
- name: Run Aeon Core Files
run: |
files=$(find examples/core -type f -name '*_main.ae')
for file in $files; do
python aeon $file --core --log INFO ERROR TYPECHECKER CONSTRAINT
done
- name: Run Aeon Sugar Files
run: |
files=$(find examples/sugar -type f -name '*_main.ae')
for file in $files; do
python aeon $file --log INFO ERROR TYPECHECKER CONSTRAINT
done