diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 818ad43c..ae601176 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,4 +1,4 @@
-name: Build in docker
+name: Build
 
 on: workflow_dispatch
 
diff --git a/.github/workflows/dispatch.yml b/.github/workflows/dispatch.yml
deleted file mode 100644
index daad8003..00000000
--- a/.github/workflows/dispatch.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: Dispatch
-
-on: workflow_dispatch
-
-env:
-  CARGO_TERM_COLOR: always
-  GITHUB_ACTIONS: true
-
-jobs:
-
-  dispatch:
-    strategy:
-      fail-fast: true
-      matrix:
-        target: [
-          { runner: ubuntu-latest, os: linux },
-        ]
-    runs-on: ${{ matrix.target.runner }}
-    steps:
-      - uses: actions/checkout@v3
-
-      - name: Build in docker
-        run: ./build-in-docker.sh
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
deleted file mode 100644
index 620ce828..00000000
--- a/.github/workflows/manual.yml
+++ /dev/null
@@ -1,32 +0,0 @@
-# This is a basic workflow that is manually triggered
-
-name: Manual workflow
-
-# Controls when the action will run. Workflow runs when manually triggered using the UI
-# or API.
-on:
-  workflow_dispatch:
-    # Inputs the workflow accepts.
-    inputs:
-      name:
-        # Friendly description to be shown in the UI instead of 'name'
-        description: 'Person to greet'
-        # Default value if no value is explicitly provided
-        default: 'World'
-        # Input has to be provided for the workflow to run
-        required: true
-        # The data type of the input
-        type: string
-
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
-jobs:
-  # This workflow contains a single job called "greet"
-  greet:
-    # The type of runner that the job will run on
-    runs-on: ubuntu-latest
-
-    # Steps represent a sequence of tasks that will be executed as part of the job
-    steps:
-      # Runs a single command using the runners shell
-      - name: Send greeting
-        run: echo "Hello ${{ inputs.name }}"