Skip to content

Harden GitHub Actions permissions and dependency pinning#235

Merged
Widthdom merged 1 commit into
mainfrom
agent/harden-github-actions-222
Jul 25, 2026
Merged

Harden GitHub Actions permissions and dependency pinning#235
Widthdom merged 1 commit into
mainfrom
agent/harden-github-actions-222

Conversation

@Widthdom

Copy link
Copy Markdown
Owner

CLOSES #222

Summary

  • pin every third-party GitHub Action to an immutable full commit SHA with an adjacent version comment
  • pin DocFX and dotnet-ildasm installations to exact versions
  • split mutation comments, benchmark publishing, and CodeQL uploads into trusted-event jobs with minimum write permissions
  • keep fork pull requests on read-only analysis paths and add regression tests for workflow hardening and Dependabot coverage

Verification

  • dotnet test FolderDiffIL4DotNet.Tests/FolderDiffIL4DotNet.Tests.csproj --configuration Release --nologo (2,042 passed, 1 expected skip)
  • dotnet format FolderDiffIL4DotNet.sln --verify-no-changes --no-restore --verbosity minimal
  • npm run test:js (184 passed)
  • parsed all changed workflow YAML files successfully
  • git diff --check
  • adversarial review: no actionable correctness findings

@Widthdom
Widthdom marked this pull request as ready for review July 25, 2026 13:49
@Widthdom
Widthdom merged commit aa24e78 into main Jul 25, 2026
13 checks passed
@Widthdom
Widthdom deleted the agent/harden-github-actions-222 branch July 26, 2026 06:54
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.

Harden GitHub Actions permissions and dependency pinning

1 participant