Skip to content

[CI] Upgrade GitHub actions#45

Merged
ludovicm67 merged 1 commit intomainfrom
ci-upgrades-2025-11-04
Nov 4, 2025
Merged

[CI] Upgrade GitHub actions#45
ludovicm67 merged 1 commit intomainfrom
ci-upgrades-2025-11-04

Conversation

@ludovicm67
Copy link
Contributor

This upgrades a few GitHub Actions.

@ludovicm67 ludovicm67 self-assigned this Nov 4, 2025
@changeset-bot
Copy link

changeset-bot bot commented Nov 4, 2025

⚠️ No Changeset found

Latest commit: 4ea129e

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@ludovicm67 ludovicm67 merged commit cf42516 into main Nov 4, 2025
1 check failed
@ludovicm67 ludovicm67 deleted the ci-upgrades-2025-11-04 branch November 4, 2025 10:51
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