Skip to content

Disable Pyre CI for now #15

Disable Pyre CI for now

Disable Pyre CI for now #15

Workflow file for this run

name: Test
on:
push:
branches: ["main"]
pull_request:
branches: ["main"]
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install dependencies
run: |
sudo apt update
sudo apt install -y python3 python3-pip python3-venv watchman
- name: Install Python dependencies
run: |
python3 -m pip install --upgrade pip
python3 -m pip install pyre-check pytest
- name: Install
run: python3 -m pip install .
- name: Run tests
run: python -m pytest
# - name: Pyre
# run: pyre