Skip to content
Snippets Groups Projects
Commit f86cb27b authored by gabrielhdt's avatar gabrielhdt
Browse files

check prelude

parent 82277a01
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.github/workflows/type_check.yml
+ 5
− 0
View file @ f86cb27b
......@@ -50,3 +50,8 @@ jobs:
run: |
eval $(opam env)
lambdapi check paper/*.lp
- name: check prelude
run: |
eval $(opam env)
lambdapi check prelude/*.lp
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment