Fixed lint workaround

Author: DavyLandman

.github/workflows/build.yaml

@@ -36,6 +36,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - run: echo "  " >> pom.xml # make sure the cache is slightly different for the checker framework
       - name: Set up JDK 11
         uses: actions/setup-java@v4
         with:
@@ -49,7 +50,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - run: echo "  " >> pom.xml # make sure the cache is slightly different for the lint
       - name: Set up JDK 11
         uses: actions/setup-java@v4
         with:

pom.xml

@@ -196,7 +196,7 @@
   </dependencies>
 
   <profiles>
-    <profile>      <!-- run with: mvn clean compile -P checker-framework -->
+    <profile>  <!-- run with: mvn clean compile -P checker-framework -->
       <id>checker-framework</id>
       <build>
         <plugins>