Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a message at the end of the CI/test script
So that it is easier to tell whether we finished successfully or exited early.
- Loading branch information