Skip to content

Fix CI: install elan + expose lake in PATH before build #416

Fix CI: install elan + expose lake in PATH before build

Fix CI: install elan + expose lake in PATH before build #416

Workflow file for this run

name: CI
on:
push:
pull_request:
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Python tests
run: |
python3 -m pip install --upgrade pip
pip install pytest networkx numpy || true
if [ -d tests ]; then pytest -q; fi