Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This script doesn't seem to run with those bash options, not sure which
one is doing it, and I can't reproduce the problem outside of GHA
- Loading branch information