test suite, dummy compiler passes, new type abstraction #4

Sign in to view logs

Workflow file for this run

.github/workflows/ci.yaml at 492b310

	name: CI

	on: [push, pull_request]

	jobs:
	unit-tests:
	runs-on: ubuntu-latest
	container:
	image: cimg/python:3.8

	steps:
	- name: Checkout
	uses: actions/checkout@v2

	- name: Set up Python 3.8
	uses: actions/setup-python@v2
	with:
	python-version: 3.8

	- name: Install dependencies
	run: pip install tox

	- name: Run tests
	run: tox -e unit-tests

	linters:
	runs-on: ubuntu-latest
	container:
	image: cimg/python:3.8

	steps:
	- name: Checkout
	uses: actions/checkout@v2

	- name: Set up Python 3.8
	uses: actions/setup-python@v2
	with:
	python-version: 3.8

	- name: Install dependencies
	run: pip install tox

	- name: Run linters
	run: tox -e linters

	typecheck:
	runs-on: ubuntu-latest
	container:
	image: cimg/python:3.8

	steps:
	- name: Checkout
	uses: actions/checkout@v2

	- name: Set up Python 3.8
	uses: actions/setup-python@v2
	with:
	python-version: 3.8

	- name: Install dependencies
	run: pip install tox

	- name: Run typecheck
	run: tox -e typecheck