Skip to content

Remove FD constraints, add Hylang layer #17

Remove FD constraints, add Hylang layer

Remove FD constraints, add Hylang layer #17

Workflow file for this run

name: microkanren CI
on:
push:
branches:
- main
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
env:
FORCE_COLOR: '1' # Make tools pretty.
TOX_TESTENV_PASSENV: FORCE_COLOR
PIP_DISABLE_PIP_VERSION_CHECK: '1'
PIP_NO_PYTHON_VERSION_WARNING: '1'
PYTHON_LATEST: '3.12'
permissions:
contents: read # to fetch code (actions/checkout)
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v4
with:
python-version: ${{env.PYTHON_LATEST}}
- name: Install UV and ruff
run: |
curl -LsSf https://astral.sh/uv/install.sh | sh
echo "$HOME/.cargo/bin" >> $GITHUB_PATH
uv venv
. .venv/bin/activate
uv pip install ruff
- name: Run ruff
run: |
. .venv/bin/activate
ruff check .
ruff format --check .
test:
runs-on: ubuntu-latest
needs: lint
strategy:
matrix:
python: ['3.12', '3.13']
steps:
- uses: actions/checkout@v4
- name: Set up Python ${{ matrix.python }}
uses: actions/setup-python@v4
with:
python-version: ${{ matrix.python }}
- name: Install UV
run: |
curl -LsSf https://astral.sh/uv/install.sh | sh
echo "$HOME/.cargo/bin" >> $GITHUB_PATH
- name: Install dependencies
run: |
uv venv
. .venv/bin/activate
uv pip install tox tox-gh-actions ruff
- name: Test with tox
run: |
. .venv/bin/activate
tox -- -v