Commit 32167af

committed

workflows: Remove soundness.sh, which now comes from github-workflows

Ironically, Utilities/soundness.sh fails the shellcheck soundness check.

1 parent 4ebfdd6 commit 32167afCopy full SHA for 32167af

1 file changed

+0

-150

lines changed

Utilities
- soundness.sh

1 file changed

+0

-150

lines changed

`‎Utilities/soundness.sh`

This file was deleted.

Comments

(0)