From 905cd6957c08b4434b01cefbd940eba38492e881 Mon Sep 17 00:00:00 2001
From: Gabriel <gabriel@motacilla.home>
Date: Mon, 30 Aug 2021 10:05:47 +0200
Subject: [PATCH] update lambdapi for ci
---
.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 0f56ee5..102ba48 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 900aa8c7448b72e26c061d92d372e88e620ca01a
+ git checkout dfd0dc0dc659
opam pin add lambdapi .)
opam install lambdapi
eval $(opam env)
--
GitLab