Update ci-go-cover.yml

Update CI to regenerate code coverage badge for old releases.

.github/workflows/ci-go-cover.yml

@@ -15,17 +15,34 @@
 # 2. Update README.md to use the new path to badge.svg because the path includes the workflow name.
 
 name: cover ≥98%
-on: [push]
+
+# Remove default permissions.
+permissions: {}
+
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+
 jobs:
 
   # Verify minimum coverage is reached using `go test -short -cover` on latest-ubuntu with default version of Go.
   # The grep expression can't be too strict, it needed to be relaxed to work with different versions of Go.
   cover:
     name: Coverage
+    permissions:
+      contents: read
     runs-on: ubuntu-latest
     steps:
     - name: Checkout code
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
+    - name: Install Go
+      uses: actions/setup-go@v4
+      with:
+        go-version: 1.19
+        check-latest: true
+    - name: Install x448/float16
+      run: go get github.com/x448/float16@v0.8.4
     - name: Go Coverage
       run: |
         go version