From 10c65e4f4ad0250b9c60edc81b2d1c4d68c9c97b Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Tue, 31 Aug 2021 08:27:43 +0200
Subject: [PATCH] update lambdapi
---
.github/workflows/type_check.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/type_check.yml b/.github/workflows/type_check.yml
index 102ba48..7ac6d2e 100644
--- a/.github/workflows/type_check.yml
+++ b/.github/workflows/type_check.yml
@@ -40,7 +40,7 @@ jobs:
sudo apt install --yes bmake
git clone https://github.com/gabrielhdt/lambdapi.git lambdapi
(cd lambdapi || exit 1
- git checkout dfd0dc0dc659
+ git checkout 5c703a98cc85
opam pin add lambdapi .)
opam install lambdapi
eval $(opam env)
--
GitLab