Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(ci): update witness-run-action, change witness install dir
This updates the witness-run-action, and installs witness to a directory outside of the current source directory. This keeps our source git tree clean. Signed-off-by: Mikhail Swift <[email protected]>
- Loading branch information