Code

CI: pin GitHub Actions workflows#18

Code

Closed

ErikSchierboom wants to merge 1 commit intomainexercism/qsharp:mainfrom pin-github-action-workflowsexercism/qsharp:pin-github-action-workflowsCopy head branch name to clipboard

+10-10

Commits

Commits on Nov 14, 2023

• Pin GitHub Actions workflows to a specific version

  ErikSchierboom

  committed
  4da7a7e

  Copy full SHA for 4da7a7e