Add comamnds to force or skip the Windows CI

The commands are [test_windows_full] and [skip test_windows_fast]

Author: smarter

.github/workflows/ci.yaml

@@ -101,6 +101,11 @@ jobs:
          || (
            github.event_name == 'pull_request'
            && !contains(github.event.pull_request.body, '[skip ci]')
+         )
+         || (
+           github.event_name == 'pull_request'
+           && !contains(github.event.pull_request.body, '[skip ci]')
+           && !contains(github.event.pull_request.body, '[skip test_windows_fast]')
          )"
 
     steps:
@@ -121,6 +126,11 @@ jobs:
          || (
            github.event_name == 'push'
            && !startsWith(github.event.ref, 'refs/tags/sbt-dotty-')
+         )
+         || (
+           github.event_name == 'pull_request'
+           && !contains(github.event.pull_request.body, '[skip ci]')
+           && contains(github.event.pull_request.body, '[test_windows_full]')
          )"
 
     steps: