Code

CI: pin GitHub Actions workflows#105

Code

Merged

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

+2-2

Commits

Commits on Nov 14, 2023

• Pin GitHub Actions workflows to a specific version

  ErikSchierboom

  committed
  9caaeab