diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index a8c76fa..c79aaf6 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -4,16 +4,23 @@ on:
   push:
     branches:
       - main
+  pull_request:
   workflow_dispatch:
 
+permissions:
+  contents: read
+
 jobs:
   test:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
       - name: Set up Koka
         uses: koka-community/setup-koka@v1
-        with: 
+        with:
+          koka_ref: "dev"
           packages: ""
-          run_tests: true
\ No newline at end of file
+      - name: Run tests
+        run: |
+          koka --verbose=0 --console=ansi -e std/test/detect