diff --git a/.github/workflows/compilation-checks.yml b/.github/workflows/compilation-checks.yml
index bf7562756..c177967d3 100644
--- a/.github/workflows/compilation-checks.yml
+++ b/.github/workflows/compilation-checks.yml
@@ -4,7 +4,7 @@
 
 # Compilation actions to run on pull requests
 
-name: Kernel
+name: Compile
 
 on:
   push:
@@ -14,7 +14,7 @@ on:
 
 jobs:
   standalone_kernel:
-    name: compile
+    name: kernel
     runs-on: ubuntu-latest
     strategy:
       fail-fast: false
diff --git a/README.md b/README.md
index e040ad1b3..5ea647f72 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ The seL4 microkernel
 [![CI](https://github.com/seL4/seL4/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/push.yml)
 [![seL4Test](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml)
 [![C Parser](https://github.com/seL4/seL4/actions/workflows/cparser.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/cparser.yml)
-[![Kernel](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml)
+[![Compile](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml)
 [![Proof Sync](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml)
 [![RefMan](https://github.com/seL4/seL4/actions/workflows/manual.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/manual.yml)
 [![XML](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml)