Merge pull request #64 from nikomatsakis/main

fix various github action failures

Author: nikomatsakis

.github/workflows/mdbook.yml

@@ -57,8 +57,8 @@ jobs:
 
       - name: Install mdBook
         run: |
-          cargo install --version ${MDBOOK_VERSION} mdbook
-          cargo install mdbook-mermaid
+          cargo install --force --version ${MDBOOK_VERSION} mdbook
+          cargo install --force mdbook-mermaid
 
       - name: Setup Pages
         id: pages

.github/workflows/release-binaries.yml

@@ -5,6 +5,9 @@ on:
   release:
     types: [published]
 
+permissions:
+  contents: write
+
 jobs:
   build-binaries:
     name: Build ${{ matrix.target }}