Merge branch 'master' into release-0-5-0

Author: ESultanik

.github/workflows/add_to_project.yml

@@ -14,7 +14,7 @@ jobs:
     name: Add to project
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/add-to-project@v0.3.0
+      - uses: actions/add-to-project@v0.4.0
         with:
           project-url: https://github.com/orgs/trailofbits/projects/12
           github-token: ${{ secrets.ADD_TO_PROJECT_PAT }}