Skip to content

CI improvements - #68

Merged
g105b merged 2 commits into
masterfrom
67-ci
Mar 14, 2026
Merged

g105b merged 2 commits into
masterfrom
67-ci

Conversation

@g105b

@g105b g105b commented Mar 14, 2026

Copy link
Copy Markdown
Member

Just a minor upgrade to how we run the CI on Github Actions now, improving security and syncing with other repositories.

@g105b
g105b merged commit be7ae9c into master Mar 14, 2026
53 checks passed
@g105b
g105b deleted the 67-ci branch March 14, 2026 16:48
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