Skip to content

Update and use Github Actions - #203

Open
jrconlin wants to merge 24 commits into
mainfrom
ga
Open

Update and use Github Actions#203
jrconlin wants to merge 24 commits into
mainfrom
ga

Conversation

@jrconlin

Copy link
Copy Markdown
Member

Description

This patch performs some updates and code cleanup and also switches things to using Github Actions. This is so that Trusted Publisher can be enabled.

This patch:

  • Adds a minimal Makefile (for some task simplification)
  • Adds formatting checks, including more type declarations
  • fixes some legacy python issues.

@jrconlin
jrconlin marked this pull request as ready for review August 3, 2026 22:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant