Skip to content

Improve GitHub Actions workflow#728

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

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

Conversation

@adamchainz
Copy link
Copy Markdown
Member

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 enabled auto-merge (squash) May 27, 2026 22:22
@adamchainz adamchainz merged commit 4216598 into main May 27, 2026
8 checks passed
@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