Skip to content

Commit

Permalink
fixup! Create github action
Browse files Browse the repository at this point in the history
  • Loading branch information
mdeweerd committed Jan 16, 2024
1 parent 81958b3 commit 99cdce6
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion logToCs.py
Original file line number Diff line number Diff line change
Expand Up @@ -93,10 +93,15 @@ def github_annotate(items):
throws ImportError if the github module is not available.
"""
# pylint: disable=attr-defined

Check failure on line 96 in logToCs.py

View workflow job for this annotation

GitHub Actions / pre-commit

logToCs.py: W0012: Unknown option value for 'disable', expected a valid pylint message and got 'attr-defined' (unknown-option-value)
access_token = ""
owner = ""
repo_name = ""
commit_sha = ""
if not hasattr(github_annotate, "initialized"):
# Initialise github annotation submission
github_annotate.initialized = True

Check failure on line 103 in logToCs.py

View workflow job for this annotation

GitHub Actions / pre-commit

logToCs.py: "Callable[[Any], Any]" has no attribute "initialized" [attr-defined]
from github import Github
from github import Github # pylint: disable=import-outside-toplevel

# Create Github instance
g = Github(access_token)
Expand Down

0 comments on commit 99cdce6

Please sign in to comment.