Add # nodev

Author: smashedr

.github/workflows/dev.yaml

@@ -26,6 +26,8 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 10
 
+    if: ${{ !contains(github.event.head_commit.message, '#nodev') }}
+
     permissions:
       contents: read
 
@@ -86,8 +88,6 @@ jobs:
       - name: "Debug Artifact"
         continue-on-error: true
         run: |
-          cat robots.txt
-          echo "----------"
           tree .
 
       - name: "Setup SSH"