Skip to content

chore: Pin GitHub Actions to specific commit hashes#333

Merged
dfremont merged 1 commit intoBerkeleyLearnVerify:mainfrom
lola831:chore/pin-github-actions
Apr 4, 2025
Merged

chore: Pin GitHub Actions to specific commit hashes#333
dfremont merged 1 commit intoBerkeleyLearnVerify:mainfrom
lola831:chore/pin-github-actions

Conversation

@lola831
Copy link
Copy Markdown
Collaborator

@lola831 lola831 commented Mar 25, 2025

Description

This PR updates our workflows to use fixed, verified commit hashes for GitHub Actions instead of version tags to enhance security.

Issue Link

N/A

Checklist

  • I have tested the changes locally via pytest and/or other means
  • I have added or updated relevant documentation
  • I have autoformatted the code with black and isort
  • I have added test cases (if applicable)

@lola831 lola831 requested a review from dfremont March 25, 2025 15:49
@codecov
Copy link
Copy Markdown

codecov Bot commented Mar 25, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.30%. Comparing base (5d36cce) to head (508566d).
Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #333      +/-   ##
==========================================
- Coverage   91.38%   91.30%   -0.09%     
==========================================
  Files          54       54              
  Lines       13579    13577       -2     
==========================================
- Hits        12409    12396      -13     
- Misses       1170     1181      +11     

see 4 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@dfremont dfremont merged commit 0727a6c into BerkeleyLearnVerify:main Apr 4, 2025
31 checks passed
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.

2 participants