Skip to content

Pin GitHub workflow dependencies#115

Merged
advaitpatel merged 1 commit into
mainfrom
ark/pin-workflow-dependencies
Jun 29, 2026
Merged

Pin GitHub workflow dependencies#115
advaitpatel merged 1 commit into
mainfrom
ark/pin-workflow-dependencies

Conversation

@arkid15r

Copy link
Copy Markdown
Collaborator

Pull Request

Description

Pin GitHub workflow dependencies

Closes #

Type of Change

  • Bug fix
  • New feature
  • Breaking change
  • Documentation update
  • Code style update (formatting, renaming)
  • Code refactoring (no functional changes)
  • Performance improvement
  • Test update
  • Build / CI configuration
  • Security fix

--
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

@arkid15r arkid15r marked this pull request as ready for review June 28, 2026 23:52
@arkid15r arkid15r requested a review from advaitpatel June 28, 2026 23:52

@advaitpatel advaitpatel left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

lgtm

@advaitpatel advaitpatel merged commit 01085fe into main Jun 29, 2026
8 checks passed
@arkid15r arkid15r deleted the ark/pin-workflow-dependencies branch June 29, 2026 16:35
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