Skip to content

Update GitHub Actions to use latest versions#5

Merged
valorisa merged 2 commits into
mainfrom
valorisa-patch-2
Jul 9, 2026
Merged

Update GitHub Actions to use latest versions#5
valorisa merged 2 commits into
mainfrom
valorisa-patch-2

Conversation

@valorisa

@valorisa valorisa commented Jul 9, 2026

Copy link
Copy Markdown
Owner

Description

Please include a summary of the changes and which issue is fixed. Include relevant motivation and context.

Fixes # (issue)

Type of change

Please check the options that are relevant:

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation update

Checklist

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings
  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes
  • Any dependent changes have been merged and published
  • I have verified that breaking changes are properly documented and communicated

@valorisa valorisa merged commit 88b0760 into main Jul 9, 2026
0 of 3 checks passed
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