Skip to content

Improve GitHub Actions workflow#700

Merged
adamchainz merged 1 commit into
mainfrom
improve_gha
May 27, 2026
Merged

Improve GitHub Actions workflow#700
adamchainz merged 1 commit into
mainfrom
improve_gha

Conversation

@adamchainz

Copy link
Copy Markdown
Collaborator

Tidy up some problematic patterns, including some found with zizmor, and use gha-update to pin GitHub Actions to specific hashes.

Tidy up some problematic patterns, including some found with [zizmor](https://docs.zizmor.sh/), and use [gha-update](https://gha-update.readthedocs.io/en/latest/) to pin GitHub Actions to specific hashes.
@adamchainz adamchainz merged commit 6f2d8ae into main May 27, 2026
1 check was pending
@adamchainz adamchainz deleted the improve_gha branch May 27, 2026 22:23
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.

1 participant