Skip to content

formalism: Give correctness metatheorem for typed hazelnut in relatio… #132

formalism: Give correctness metatheorem for typed hazelnut in relatio…

formalism: Give correctness metatheorem for typed hazelnut in relatio… #132

Workflow file for this run

---
name: formalism
on:
push:
paths: [formalism/*]
jobs:
formalism:
name: Build formalism.pdf
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: xu-cheng/latex-action@v2
with:
working_directory: formalism
root_file: formalism.tex
- uses: actions/upload-artifact@v3
with:
name: formalism
path: formalism/build/formalism.pdf