[ ] Does this PR change the input/output behaviour of a cryptographic algorithm (i.e., does it change known answer test values)? (If so, a version bump will be required from x.y.z to x.(y+1).0.)
[ ] Does this PR change the list of algorithms available -- either adding, removing, or renaming? Does this PR otherwise change an API? (If so, PRs in fully supported downstream projects dependent on these, i.e., oqs-provider will also need to be ready for review and merge by the time this is merged.)
Corrects my incorrect use of GitHub environment variables in https://github.com/open-quantum-safe/liboqs/pull/1849, making the downstream trigger pass.
I had previously tested the scripts locally but not in CI. The workflow for this PR is CI-tested here: https://github.com/open-quantum-safe/liboqs/actions/runs/10083919855