diff --git a/.github/workflows/profiler.yml b/.github/workflows/profiler.yml index 03abc64574..045ed7044b 100644 --- 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 index f2ea1f8c30..bee3764a36 100755 --- 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 }