diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index c67fc81fcf4..5d18bdc5b9f 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -8,10 +8,6 @@ on:
         required: true
         default: master
 
-  push:
-    branches:
-      - master
-
   pull_request:
     branches:
       - master
@@ -29,8 +25,9 @@ concurrency:
 jobs:
   typecheck:
     if:
-      ${{ github.event_name == 'workflow_dispatch' || (github.event_name ==
-      'pull_request' && github.event.pull_request.draft == false) }}
+      ${{ github.event_name == 'workflow_dispatch' || github.event_name ==
+      'push' || (github.event_name == 'pull_request' &&
+      github.event.pull_request.draft == false) }}
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
diff --git a/.github/workflows/profiling.yaml b/.github/workflows/clean-build.yaml
similarity index 97%
rename from .github/workflows/profiling.yaml
rename to .github/workflows/clean-build.yaml
index 95db9d7d2d0..37f6d7beb77 100644
--- a/.github/workflows/profiling.yaml
+++ b/.github/workflows/clean-build.yaml
@@ -1,4 +1,4 @@
-name: Profile Library Typechecking
+name: Clean build and profiling of library
 
 on:
   push:
@@ -10,7 +10,7 @@ concurrency:
   cancel-in-progress: false
 
 jobs:
-  typecheck-performance:
+  typecheck-clean:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix: