Skip to content
Lint

comparer: express comparisons in terms of the comparer #162

Sign in to view logs

comparer: express comparisons in terms of the comparer

comparer: express comparisons in terms of the comparer #162

Workflow file for this run

.github/workflows/lint.yml at e467cae
---
name: Lint
on: [push, pull_request]
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install deps
shell: bash
env:
VENVSTARTER_ONLY_MAKE_VENV: "1"
run: python ./tools/venv
- name: Ensure linter is happy
run: ./lint
types:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install deps
shell: bash
env:
VENVSTARTER_ONLY_MAKE_VENV: "1"
run: python ./tools/venv
- name: Ensure mypy is happy
run: ./types
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install deps
shell: bash
env:
VENVSTARTER_ONLY_MAKE_VENV: "1"
run: python ./tools/venv
- name: Ensure code is formatted
run: |
./format
# Complain if there were changes
if [[ ! -z "$(git status --porcelain)" ]]; then
echo "=========================================="
echo "Found changes!"
echo "Please run ./format before committing code"
echo "=========================================="
git diff
exit 1
fi