Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Toolchain update: avoid Javascript interpreting git log (model-checki…
…ng#3421) git log entries may themselves use backticks, which prematurely ended the string (and then caused Javascript syntax errors). Avoid this problem by using the environment variable rather than having Javascript see the string contents (of that environment variable). By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Co-authored-by: Adrian Palacios <[email protected]>
- Loading branch information