Skip to content

Harden GitHub actions#708

Open
chrjabs wants to merge 2 commits into
mainfrom
push-pnvklxqonnop
Open

Harden GitHub actions#708
chrjabs wants to merge 2 commits into
mainfrom
push-pnvklxqonnop

Conversation

@chrjabs

@chrjabs chrjabs commented Jun 26, 2026

Copy link
Copy Markdown
Owner

Description of the Contribution

Run zizmor and harden actions according to suggestions.

PR Checklist

  • I read and agree to CONTRIBUTING.md
  • I have formatted my code with rustfmt / cargo fmt --all
  • Commits are named following conventional commits
  • I have added documentation for new features
  • The test suite still passes on this PR
  • I have added tests for new features / tests that would have caught the bug this PR fixes (please explain if not)
  • If this PR contains breaking changes, it is against the next-major branch, not against main

@github-actions github-actions Bot added the github_actions Pull requests that update GitHub Actions code label Jun 26, 2026
@chrjabs chrjabs force-pushed the push-pnvklxqonnop branch from cfb170a to 2b1f383 Compare June 26, 2026 06:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant