Skip to content

chore(ci): harden#141

Merged
harisang merged 1 commit into
mainfrom
chore(ci)--harden
Aug 5, 2025
Merged

chore(ci): harden#141
harisang merged 1 commit into
mainfrom
chore(ci)--harden

Conversation

@avivkeller

Copy link
Copy Markdown
Contributor

This PR hardens the CI by explicitly pinning all GitHub actions to their exact commit SHAs.

@github-actions

github-actions Bot commented Jul 31, 2025

Copy link
Copy Markdown

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@avivkeller

Copy link
Copy Markdown
Contributor Author

I have read the CLA Document and I hereby sign the CLA

github-actions Bot added a commit that referenced this pull request Jul 31, 2025
@harisang
harisang merged commit deecba0 into main Aug 5, 2025
4 of 5 checks passed
@harisang
harisang deleted the chore(ci)--harden branch August 5, 2025 08:15
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 5, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants