Build workshop docs and deploy to GitHub Pages

Workflow runs for Build workshop docs and deploy to GitHub Pages

• Merge pull request #58 from danfiedler-msft/danfiedler/pin-actions

  completed successfully:
  Build workshop docs and deploy to GitHub Pages#259:Commit1d37814pushedbyjdubois
  main

  Aug 31, 20261m 3s
  More actions for workflow run 259