Update CI workflows

Author: lrettig

.github/workflows/build_and_release.yml

@@ -1,6 +1,7 @@
 name: Build and release artifacts
 
 on:
+  workflow_dispatch:
   push:
     branches:
       #- main
@@ -64,8 +65,6 @@ jobs:
         run: ./build.sh
 
       # Push in the Github environment variable the name of the artifact
-      # Doing this now because in the following step the rust folder will
-      # be delated to save some space before installing the toolchain
       - run: ./config.sh -artifact_name
 
       - name: Package toolchain

.github/workflows/release.yml

@@ -1,5 +1,6 @@
 name: Release
 on:
+  workflow_dispatch:
   push:
     tags:
       - "*"