From 5a998348fb69178006909d005e391b37e27b5974 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Tue, 19 Oct 2021 14:44:57 +0200
Subject: [PATCH] fixed checkout action
---
.github/workflows/check_encoding.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/check_encoding.yml b/.github/workflows/check_encoding.yml
index d07d053..cf2471a 100644
--- a/.github/workflows/check_encoding.yml
+++ b/.github/workflows/check_encoding.yml
@@ -37,7 +37,7 @@ jobs:
- name: get lambdapi
uses: actions/checkout@v2
with:
- repository: https://github.com/gabrielhdt/lambdapi.git
+ repository: gabrielhdt/lambdapi
branch: refiner
path: lambdapi
--
GitLab