Skip to content

Include Nox code quality check PR workflow#25

Merged
cplett merged 2 commits intomainfrom
nox_pr_workflow
Dec 10, 2025
Merged

Include Nox code quality check PR workflow#25
cplett merged 2 commits intomainfrom
nox_pr_workflow

Conversation

@cplett
Copy link
Contributor

@cplett cplett commented Dec 10, 2025

This PR includes a workflow file for checking PRs automatically with Nox.

Signed-off-by: Christoph Plett <plett@faccts.de>
@cplett cplett requested a review from stgeo December 10, 2025 12:36
@cplett cplett self-assigned this Dec 10, 2025
@cplett cplett added the enhancement New feature or request label Dec 10, 2025
Signed-off-by: Christoph Plett <plett@faccts.de>
Copy link
Contributor

@stgeo stgeo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. I was going to question the merit of running nox on different OSs and python versions, but I guess it was already useful. 😅

signal.signal(signal.SIGTERM, signal.SIG_DFL)
signal.signal(signal.SIGINT, signal.SIG_DFL)
signal.signal(signal.SIGHUP, signal.SIG_DFL)
if sys.platform != "win32":
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could probably remove this completely - might have been over-ambitious to catch HUP.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don’t expect this to cause any issues anymore, so we might leave it as is for now. It may help catch occasional SSH connection losses.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, leave it for now.

@cplett cplett merged commit 49bf045 into main Dec 10, 2025
6 checks passed
@cplett cplett deleted the nox_pr_workflow branch December 10, 2025 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants