Skip to content

Commit

Permalink
Add a Makefile and a GH workflow which uses it
Browse files Browse the repository at this point in the history
  • Loading branch information
jochie committed Jul 21, 2024
1 parent ff59088 commit e3316bb
Show file tree
Hide file tree
Showing 2 changed files with 26 additions and 0 deletions.
16 changes: 16 additions & 0 deletions .github/workflows/pylint.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
name: Link Checks

on:
push:
branches: [ main ]
pull_requests:
branches: [ main ]

jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Fetch files
uses: actions/checkout@v3
- name: Run Pylint
run: make lint
10 changes: 10 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
PYTHON_FILES=walk_pages.py compare_pages.py

default:
@echo "Usage: make lint"

lint:
for file in $(PYTHON_FILES); do \
echo "$$file:"; \
pylint $$file; \
done

0 comments on commit e3316bb

Please sign in to comment.