Merge branch 'ab/ci-retire-set-output'

CI fix.

* ab/ci-retire-set-output:
  CI: migrate away from deprecated "set-output" syntax

diff --cc .github/workflows/main.yml
index f0412e220af11e3fa211041877baef7f7eca6012,912fe14c6e4263e63a5b41f1d763d799d4a4ff85..286319d789a1b4de9d4843ae468566173cda2aa8
--- 1/.github/workflows/main.yml
--- 2/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@@ -34,10 -34,10 +34,10 @@@ jobs
            then
              enabled=no
            fi
-           echo "::set-output name=enabled::$enabled"
+           echo "enabled=$enabled" >>$GITHUB_OUTPUT
        - name: skip if the commit or tree was already tested
          id: skip-if-redundant
 -        uses: actions/github-script@v3
 +        uses: actions/github-script@v6
          if: steps.check-ref.outputs.enabled == 'yes'
          with:
            github-token: ${{secrets.GITHUB_TOKEN}}