ci: remove old comment from workspace file

james-d-mitchell · james-d-mitchell · commit ce8e736e08f4 · 2026-03-20T17:22:22.000Z
diff --git a/.github/workflows/workspaces.yml b/.github/workflows/workspaces.yml
@@ -1,7 +1,3 @@
-# This is temporary until/if:
-# https://github.com/gap-actions/run-pkg-tests/pull/24
-# is merged, or something equivalent, then remove the script ci/run-tests.sh,
-# and use the save/load.g files as commented out below
 name: "Workspaces"
 on:
   workflow_dispatch:
