Skip to content

self_type should take tparams as QuantifiedVec #4679

self_type should take tparams as QuantifiedVec

self_type should take tparams as QuantifiedVec #4679

Workflow file for this run

name: pysa
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
workflow_dispatch:
jobs:
pysa:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- uses: actions/setup-python@f677139bbe7f9c59b41e40162b753c062f5d49a3 # v5.2.0
with:
python-version: "3.10"
- name: Install Dependencies
run: |
pip install -r requirements.txt
sudo apt-get install opam
- name: Build Pyre (and Pysa)
run: |
# We aren't sure why, but `setup.py` is not adding the opam bin
# directory to the PATH successfully in github CI so we set it
# manually. TODO(T195374929) Maybe investigate this more?
export PATH="${HOME}/.opam/pyre-4.14.0/bin:${PATH}"
./scripts/setup.sh --local --no-tests
echo "PYTHONPATH=$GITHUB_WORKSPACE/..:$PYTHONPATH" >> $GITHUB_ENV
echo "pythonLocation=$GITHUB_WORKSPACE:$pythonLocation" >> $GITHUB_ENV
echo "PYRE_BINARY=$GITHUB_WORKSPACE/source/_build/default/main.exe" >> $GITHUB_ENV
echo "PYRE_TYPESHED=$GITHUB_WORKSPACE/stubs/typeshed/typeshed/" >> $GITHUB_ENV
- name: Run and test pysa output
run: |
cd ./documentation/deliberately_vulnerable_flask_app
. ./setup.sh
./run_integration_tests.sh