Code

CI: pin GitHub Actions workflows#104

Code

Merged

ErikSchierboom merged 1 commit intomainexercism/coq:mainfrom pin-github-action-workflowsexercism/coq:pin-github-action-workflowsCopy head branch name to clipboardNov 15, 2023

+1-1

Commits

Commits on Nov 14, 2023

• Pin GitHub Actions workflows to a specific version

  ErikSchierboom

  committed
  0bdf6fa

  Copy full SHA for 0bdf6fa