Skip to content

Push new mention of TLA+ spec into dissertation paragraph #199

Push new mention of TLA+ spec into dissertation paragraph

Push new mention of TLA+ spec into dissertation paragraph #199

Workflow file for this run

name: check
on: [push, pull_request]
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Python 3
uses: actions/setup-python@v1
- name: Install dependencies
run: pip install jsonschema
- name: Run check.py
run: ./check.py