[Openid-specs-risc] [openid/sharedsignals] b40dd7: fixing script

[Atul Tulshibagwale]

  Branch: refs/heads/auto-build-specs
  Home:   https://github.com/openid/sharedsignals
  Commit: b40dd70d18635cea0fc4a2543060925859e1ae9d
      https://github.com/openid/sharedsignals/commit/b40dd70d18635cea0fc4a2543060925859e1ae9d
  Author: Atul Tulshibagwale <atultulshi at gmail.com>
  Date:   2023-06-23 (Fri, 23 Jun 2023)

  Changed paths:
    M .github/workflows/build-everything.yml

  Log Message:
  -----------
  fixing script