Skip to content
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

Hash-pin GitHub Actions #3436

Merged
merged 1 commit into from
Aug 9, 2023
Merged

Hash-pin GitHub Actions #3436

merged 1 commit into from
Aug 9, 2023

Conversation

pnacht
Copy link
Contributor

@pnacht pnacht commented Aug 7, 2023

Fixes #3435.

This PR hash-pins GitHub Actions to protect the project from supply-chain attacks.

Signed-off-by: Pedro Kaj Kjellerup Nacht <pnacht@google.com>
@codecov
Copy link

codecov bot commented Aug 7, 2023

Codecov Report

Merging #3436 (459a564) into master (54aeb18) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #3436   +/-   ##
=======================================
  Coverage   98.32%   98.32%           
=======================================
  Files          77       77           
  Lines       24303    24303           
=======================================
  Hits        23897    23897           
  Misses        406      406           

@mwaskom
Copy link
Owner

mwaskom commented Aug 9, 2023

Makes sense. Thanks!

@mwaskom mwaskom merged commit aebf7d8 into mwaskom:master Aug 9, 2023
10 checks passed
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.

Hash-pin GitHub Actions
2 participants