From eceab6c5afe943b53feb8ee250d50538c401ea24 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Thu, 15 Jul 2021 14:50:16 +0200
Subject: [PATCH] install encoding for tests
---
.github/workflows/type_check.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/type_check.yml b/.github/workflows/type_check.yml
index 18581c9..0f56ee5 100644
--- a/.github/workflows/type_check.yml
+++ b/.github/workflows/type_check.yml
@@ -54,4 +54,5 @@ jobs:
- name: other tests
run: |
eval $(opam env)
+ bmake -C personoj install
bmake tests
--
GitLab