Skip to content

build: update GitHub Actions #56

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
quicoto merged 1 commit into from
Dec 19, 2025
Merged

build: update GitHub Actions #56

quicoto merged 1 commit into from
Dec 19, 2025

Conversation

@quicoto
Copy link
Owner

@quicoto quicoto commented Dec 19, 2025 •
edited
Loading

Description

Related Issue

Types of changes

  • Build update
  • Documentation update
  • 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 change)

Checklist

  • I have added and/or updated the tests, when applicable
  • I have added at least 1 reviewer to this PR (@quicoto or @rogercornet)

@quicoto quicoto self-assigned this Dec 19, 2025
@quicoto quicoto requested a review from rogercornet December 19, 2025 09:06
@quicoto quicoto merged commit 7bbbf38 into main Dec 19, 2025
1 check passed
@quicoto quicoto deleted the update-actions branch December 19, 2025 09:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@rogercornet rogercornet Awaiting requested review from rogercornet

Assignees

@quicoto quicoto

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@quicoto