Enable workflow_dispatch in CI pipeline

Author: MatthiasValvekens

.github/workflows/build-pipeline.yml

@@ -6,11 +6,14 @@ on:
   pull_request:
     branches: [ master ]
   workflow_call:
-    secrets: {}
+    secrets:
+      CODECOV_TOKEN:
+        required: true
     outputs:
       hashes:
         description: "Hashes of the artifacts that were built"
         value: ${{ jobs.build.outputs.hashes }}
+  workflow_dispatch: {}
 permissions:
   actions: read
   contents: read