From f86cb27b1b2db452ec7acd3151d03985fc068de4 Mon Sep 17 00:00:00 2001
From: gabrielhdt <gabrielhondet@gmail.com>
Date: Wed, 22 Apr 2020 12:06:52 +0200
Subject: [PATCH] check prelude
---
.github/workflows/type_check.yml | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/.github/workflows/type_check.yml b/.github/workflows/type_check.yml
index 072ad6a..d965629 100644
--- a/.github/workflows/type_check.yml
+++ b/.github/workflows/type_check.yml
@@ -50,3 +50,8 @@ jobs:
run: |
eval $(opam env)
lambdapi check paper/*.lp
+
+ - name: check prelude
+ run: |
+ eval $(opam env)
+ lambdapi check prelude/*.lp
--
GitLab