Skip to content

discord: add flag to disable zippath (#53) #344

discord: add flag to disable zippath (#53)

discord: add flag to disable zippath (#53) #344

Workflow file for this run

name: CI
on:
push:
branches: ["*"]
pull_request: # needed to trigger on others' PRs
workflow_dispatch: # needed to trigger workflows manually
jobs:
build:
strategy:
matrix:
platform: [ubuntu-latest, macos-latest]
python-version: [3.8, 3.9, "3.10", "3.11", "3.12"]
exclude:
[
{ platform: macos-latest, python-version: "3.9" },
{ platform: macos-latest, python-version: "3.10" },
{ platform: macos-latest, python-version: "3.11" },
]
runs-on: ${{ matrix.platform }}
steps:
- run: echo "$HOME/.local/bin" >> $GITHUB_PATH
- uses: actions/setup-python@v2
with:
python-version: ${{ matrix.python-version }}
- uses: actions/checkout@v2
with:
fetch-depth: 0 # nicer to have all git history when debugging/for tests
- run: ./install
- uses: actions/upload-artifact@v2
with:
name: .coverage.mypy-${{ matrix.platform }}_${{ matrix.python-version }}
path: .coverage.mypy/