github-worflow: Switch to "Namespace" runner for CI

.github/workflows/build_documentation.yml

@@ -24,7 +24,7 @@ jobs:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
+    runs-on: nscloud-ubuntu-22.04-amd64-4x16
     steps:
       - name: Checkout
         uses: actions/checkout@v3

.github/workflows/check.yml

@@ -7,7 +7,7 @@ on:
 jobs:
   check:
     name: Check that the module is valid
-    runs-on: ubuntu-latest
+    runs-on: nscloud-ubuntu-22.04-amd64-4x16
     steps:
       - uses: actions/checkout@v3
       - uses: cachix/install-nix-action@v20

.github/workflows/update.yml

@@ -6,7 +6,7 @@ on:
 
 jobs:
   lockfile:
-    runs-on: ubuntu-latest
+    runs-on: nscloud-ubuntu-22.04-amd64-4x16
     steps:
       - name: Checkout repository
         uses: actions/checkout@v3