Skip to content

chore: update github-actions#3

Merged
itzmeanjan merged 1 commit intoitzmeanjan:mainfrom
reneleonhardt:chore/update-github-actions
Oct 15, 2025
Merged

chore: update github-actions#3
itzmeanjan merged 1 commit intoitzmeanjan:mainfrom
reneleonhardt:chore/update-github-actions

Conversation

@reneleonhardt
Copy link
Copy Markdown
Contributor

Chores

  • Update github-actions
  • Let dependabot update github-actions and submodules

@itzmeanjan itzmeanjan self-requested a review October 15, 2025 12:35
Copy link
Copy Markdown
Owner

@itzmeanjan itzmeanjan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good.

@itzmeanjan itzmeanjan merged commit a05b658 into itzmeanjan:main Oct 15, 2025
24 checks passed
@reneleonhardt reneleonhardt deleted the chore/update-github-actions branch October 15, 2025 13:48
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.

2 participants