diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 368d6c92..1d5a36f5 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - 'master'
-      - 'prototyping'
     paths:
       - '.github/workflows/**'
       - 'prototyping/**'
@@ -18,6 +17,7 @@ jobs:
     strategy:
       matrix:
         agda: [2.6.2.1]
+    name: prototyping
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1