From ce8751a2bdd6e76475338bd1f12179c2d7cedcb0 Mon Sep 17 00:00:00 2001 From: Georgios Andreadis Date: Tue, 7 Jul 2020 12:12:31 +0200 Subject: Try different script --- .github/workflows/web-server.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github/workflows') diff --git a/.github/workflows/web-server.yml b/.github/workflows/web-server.yml index a3d4973e..af843266 100644 --- a/.github/workflows/web-server.yml +++ b/.github/workflows/web-server.yml @@ -19,7 +19,7 @@ jobs: - name: Lint with pylint working-directory: web-server run: | - pylint opendc + ./check.sh - name: Test with pytest working-directory: web-server run: | -- cgit v1.2.3