Skip to content

Bulk update GitHub actions#155

Merged
simu merged 1 commit into
mainfrom
deps/gh-actions
May 12, 2026
Merged

Bulk update GitHub actions#155
simu merged 1 commit into
mainfrom
deps/gh-actions

Conversation

@simu

@simu simu commented May 12, 2026

Copy link
Copy Markdown
Member

Checklist

  • The PR has a meaningful title. It will be used to auto generate the
    changelog.
    The PR has a meaningful description that sums up the change. It will be
    linked in the changelog.
  • PR contains a single logical change (to build a better changelog).
  • Categorize the PR by adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog.
  • Link this PR to related issues or PRs.

@simu simu force-pushed the deps/gh-actions branch from e507084 to 0040179 Compare May 12, 2026 08:01
@simu simu merged commit 247b270 into main May 12, 2026
1 check passed
@simu simu deleted the deps/gh-actions branch May 12, 2026 08:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant