diff --git a/.github/actions/setup-patmos/action.yml b/.github/actions/setup-patmos/action.yml
index 00a5c4c61b..3fd4e556d0 100644
--- a/.github/actions/setup-patmos/action.yml
+++ b/.github/actions/setup-patmos/action.yml
@@ -6,7 +6,7 @@ runs:
     - name: Setup
       run: |
         # install needed tools
-        sudo apt install git openjdk-8-jdk gitk cmake make g++ texinfo flex bison \
+        sudo apt install git openjdk-8-jdk cmake make g++ texinfo flex bison \
           subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby-full \
           liblpsolve55-dev zlib1g-dev gtkwave gtkterm scala autoconf libfl2 expect verilator curl
 
@@ -20,15 +20,14 @@ runs:
         sudo chmod 644 /etc/apt/trusted.gpg.d/scalasbt-release.gpg
         sudo apt-get update
         sudo apt-get install sbt
-        
+
         # Clone the Patmos repository
-        
+
         mkdir ~/t-crest
         cd ~/t-crest
         git clone https://github.com/t-crest/patmos-misc.git misc
-        ./misc/build.sh 
+        ./misc/build.sh
 
         # Save location in PATH
         export PATH=$PATH:$HOME/t-crest/misc
       shell: bash
-
diff --git a/.github/workflows/c-embedded.yml b/.github/workflows/c-embedded.yml
index 20c26019d1..5b49223589 100644
--- a/.github/workflows/c-embedded.yml
+++ b/.github/workflows/c-embedded.yml
@@ -24,6 +24,6 @@ jobs:
   flexpret:
     uses: ./.github/workflows/c-flexpret-tests.yml
 
-      # Run the C Patmos integration tests. 
+      # Run the C Patmos integration tests.
   patmos:
     uses: ./.github/workflows/c-patmos-tests.yml
diff --git a/test/C/src/patmos/HelloPatmos.lf b/test/C/src/patmos/HelloPatmos.lf
index 8f289c980a..48c36c139b 100644
--- a/test/C/src/patmos/HelloPatmos.lf
+++ b/test/C/src/patmos/HelloPatmos.lf
@@ -1,12 +1,11 @@
 target C {
-    platform: "Patmos",
-    single-threaded: true,
-    build-type: Debug, 
-  }
-  
-  main reactor {
-    reaction(startup) {=
-      printf("Hello World!\n");
-    =}
-  }
-  
\ No newline at end of file
+  platform: "Patmos",
+  single-threaded: true,
+  build-type: Debug
+}
+
+main reactor {
+  reaction(startup) {=
+    printf("Hello World!\n");
+  =}
+}