Skip to content

Update GitHub workflow#20

Merged
mstimberg merged 2 commits into
mainfrom
github_workflow
Apr 22, 2026
Merged

Update GitHub workflow#20
mstimberg merged 2 commits into
mainfrom
github_workflow

Conversation

@mstimberg

Copy link
Copy Markdown
Member

The GitHub actions were very outdated and some of them deprecated, this PR replaces them with recent versions and configures dependabot to keep them up-to-date in the future.

@mstimberg mstimberg merged commit 3168311 into main Apr 22, 2026
1 check failed
@mstimberg mstimberg deleted the github_workflow branch April 22, 2026 15:09
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