From 9b901f679ab08e3231fa8fef4e5b3ec6997e3dab Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Tue, 19 Oct 2021 14:54:59 +0200
Subject: [PATCH] fix checkout
---
.github/workflows/check_encoding.yml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/check_encoding.yml b/.github/workflows/check_encoding.yml
index cf2471a..8485b7a 100644
--- a/.github/workflows/check_encoding.yml
+++ b/.github/workflows/check_encoding.yml
@@ -38,7 +38,7 @@ jobs:
uses: actions/checkout@v2
with:
repository: gabrielhdt/lambdapi
- branch: refiner
+ ref: refiner
path: lambdapi
# Runs a set of commands using the runners shell
@@ -46,8 +46,7 @@ jobs:
run: |
sudo apt install --yes bmake
(cd "${GITHUB_WORKSPACE}/lambdapi/" || exit 1
- opam install . --deps-only
- make install)
+ opam install .)
eval $(opam env)
why3 config detect
--
GitLab