ci: gha lint

Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
This commit is contained in:
Andrea Luzzardi 2021-10-04 17:29:23 -07:00
parent 4cce3de9df
commit 541d3775c3

View File

@ -2,9 +2,9 @@ name: CI
on:
push:
branches: [ main ]
branches: [main]
pull_request:
branches: [ main ]
branches: [main]
jobs:
lint:
@ -127,7 +127,7 @@ jobs:
--health-start-period 5s
--health-timeout 5s
--health-interval 5s
--health-retries 10
--health-retries 10
steps:
- name: Check out
@ -215,7 +215,7 @@ jobs:
--health-start-period 5s
--health-timeout 5s
--health-interval 5s
--health-retries 10
--health-retries 10
steps:
- name: Check out