Skip to content

ci: Pin GHA to a full length commit SHA; add permissions; add CodeQL check#3577

Merged
MarcoGorelli merged 4 commits intomainfrom
chore/improve-openssf
May 1, 2026
Merged

ci: Pin GHA to a full length commit SHA; add permissions; add CodeQL check#3577
MarcoGorelli merged 4 commits intomainfrom
chore/improve-openssf

Conversation

@FBruzzesi
Copy link
Copy Markdown
Member

@FBruzzesi FBruzzesi commented Apr 27, 2026

Description

Another follow up on #3572 after the results of running such workflow. This PR:

  • Uses pinact CLI to pin actions to a full length commit SHA. To replicate, once installed, run pinact run -u
  • Add workflows permissions - I might have missed some
  • Add a new workflow with CodeQL code scanning (adapted from the numpy one). CodeQL is free for public GitHub projects

What type of PR is this? (check all applicable)

  • 💾 Refactor
  • ✨ Feature
  • 🐛 Bug Fix
  • 🔧 Optimization
  • 📝 Documentation
  • ✅ Test
  • 🐳 Other

@FBruzzesi FBruzzesi added the ci label Apr 27, 2026
@github-advanced-security
Copy link
Copy Markdown

github-advanced-security AI commented Apr 27, 2026

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@FBruzzesi FBruzzesi requested a review from MarcoGorelli April 29, 2026 18:39
MarcoGorelli
MarcoGorelli approved these changes May 1, 2026
View reviewed changes
Copy link
Copy Markdown
Member

@MarcoGorelli MarcoGorelli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks @FBruzzesi !

@MarcoGorelli MarcoGorelli merged commit 186d945 into main May 1, 2026
36 of 37 checks passed
@MarcoGorelli MarcoGorelli deleted the chore/improve-openssf branch May 1, 2026 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@MarcoGorelli MarcoGorelli MarcoGorelli approved these changes

Assignees

No one assigned

Labels

ci

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@FBruzzesi @github-advanced-security @MarcoGorelli