Skip to content

github: update checkout action to v3#195

Merged
mergify[bot] merged 1 commit intosphinx-contrib:masterfrom
dhellmann:github-update-checkout-action
Oct 16, 2022
Merged

github: update checkout action to v3#195
mergify[bot] merged 1 commit intosphinx-contrib:masterfrom
dhellmann:github-update-checkout-action

Conversation

@dhellmann
Copy link
Member

@mergify mergify bot added the ci a CI change label Oct 16, 2022
@mergify mergify bot merged commit 5a49eac into sphinx-contrib:master Oct 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci a CI change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant