Skip to content
Tests

Fix program and lock (#34) #114

Sign in to view logs

Fix program and lock (#34)

Fix program and lock (#34) #114

Workflow file for this run

.github/workflows/test.yml at a8a2530
name: Tests
on:
push:
branches:
- master
pull_request:
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
ocaml-compiler:
- "4.11"
steps:
- name: Checkout
uses: actions/checkout@v3.5.2
- name: Set up Python
uses: actions/setup-python@v4.6.1
with:
python-version: '3.11'
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements.txt
- name: Set-up OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- name: Install coq-lsp
run: |
opam install coq-lsp
- name: Install coqpyt
run: |
pip install -e .
- name: Run tests
run: |
eval $(opam env)
cd coqpyt
pytest tests -s