Merge branch 'serverless-dns:main' into main

sagittaurius · Mar 26, 2024 · 8aea1eb · 8aea1eb · deno-deploy · Mar 26, 2024
2 parents 337d4a9 + f247f75
commit 8aea1eb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/profiler.yml b/.github/workflows/profiler.yml
@@ -40,8 +40,8 @@ env:
   GIT_REF: ${{ github.event.inputs.git-ref || github.ref }}
   JS_RUNTIME: 'node'
   MAXTIME_SEC: '30s'
-  NODE_VER: '19.x'
-  DENO_VER: '1.29.3'
+  NODE_VER: '21.x'
+  DENO_VER: '1.40.x'
   MODE: 'p1'
   QDOH: 'q'
 
@@ -89,6 +89,7 @@ jobs:
       - name: 🥝 Deno deps
         if: env.JS_RUNTIME == 'deno'
         run: |
+          deno task prepare
           deno cache ./src/server-deno.ts
 
       # if non-interactive, prefer apt-get: unix.stackexchange.com/a/590703

diff --git a/run b/run
@@ -40,7 +40,7 @@ cleanup() {
   jobs -p > jobfile
   j=$(cat jobfile)
   echo "kill... $j"
-  kill -INT $j
+  kill -INT $j || true
   # does not work... jobs -p | xargs -r kill -9
   rm jobfile
 }