Skip to content

chore: lock down workflows #709

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
May 9, 2025
Merged

chore: lock down workflows #709

merged 3 commits into from
May 9, 2025

Conversation

rzhao271
Copy link
Contributor

@rzhao271 rzhao271 commented May 9, 2025

Applies some zizmor audit suggestions to the workflows.

@rzhao271 rzhao271 enabled auto-merge (squash) May 9, 2025 21:13
@rzhao271 rzhao271 self-assigned this May 9, 2025
@rzhao271 rzhao271 added this to the May 2025 milestone May 9, 2025
roblourens
roblourens previously approved these changes May 9, 2025
@rzhao271 rzhao271 force-pushed the rzhao271/various-ladybug branch from 8c2634d to 237fa08 Compare May 9, 2025 21:36
@rzhao271 rzhao271 closed this May 9, 2025
auto-merge was automatically disabled May 9, 2025 21:43

Pull request was closed

@rzhao271 rzhao271 reopened this May 9, 2025
@rzhao271 rzhao271 requested a review from roblourens May 9, 2025 22:27
@rzhao271 rzhao271 enabled auto-merge (squash) May 9, 2025 22:28
@rzhao271 rzhao271 merged commit 98f5b93 into main May 9, 2025
18 checks passed
@rzhao271 rzhao271 deleted the rzhao271/various-ladybug branch May 9, 2025 23:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants