diff options
| author | Georgios Andreadis <info@gandreadis.com> | 2020-07-07 12:12:31 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-08-24 19:47:26 +0200 |
| commit | ce8751a2bdd6e76475338bd1f12179c2d7cedcb0 (patch) | |
| tree | 6f73ed2b99f9f4ed2e9f32f02731d5ea1f2bfb0f | |
| parent | 3ffe1916cfeace3455569a8fe1c7eb2274921140 (diff) | |
Try different script
| -rw-r--r-- | .github/workflows/web-server.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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: | |