chore(deps): pin dependencies - #42

The workflow changes consistently pin the existing actions and introduce no apparent behavior defects.

Pins the GitHub Actions used by CI and documentation deployment workflows to specific commit SHAs, while retaining version comments for readability. The workflows otherwise keep their existing steps and configuration.