Skip to content

GHA: bump actions/checkout#12023

Closed
vszakats wants to merge 1 commit intocurl:masterfrom
vszakats:gha-bump
Closed

GHA: bump actions/checkout#12023
vszakats wants to merge 1 commit intocurl:masterfrom
vszakats:gha-bump

Conversation

@vszakats
Copy link
Member

@vszakats vszakats commented Oct 3, 2023

Follow-up to 2e0fa50 #11964
Follow-up to c39585d #12000

Closes #12023

Follow-up to 2e0fa50

Closes #xxxxx
@vszakats vszakats added tidy-up CI Continuous Integration labels Oct 3, 2023
@vszakats vszakats closed this in 1b9becb Oct 4, 2023
@vszakats vszakats deleted the gha-bump branch April 15, 2024 22:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous Integration tidy-up

Development

Successfully merging this pull request may close these issues.

1 participant