From e344f6c6245fe1121976b407a989af86c7453dad Mon Sep 17 00:00:00 2001 From: Owen Jacobson Date: Wed, 17 Jun 2020 23:45:48 -0400 Subject: Extracted checks into a tools directory. Having the checks duplicated between .git-hooks and .travis.yml was a recipe for them to diverge eventually. This is somewhat tidier, and creates a clear convention for any future tools-like scripts. I didn't do the same to install steps, as they're a lot more sensitive to the specific environment - Travis requires different things from Github, which requires different things from CircleCI, which requires different things from a local environment. --- tools/check-tests | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 tools/check-tests (limited to 'tools/check-tests') diff --git a/tools/check-tests b/tools/check-tests new file mode 100755 index 0000000..ef2a7bc --- /dev/null +++ b/tools/check-tests @@ -0,0 +1,8 @@ +#!/bin/bash -ex + +# tools/check-tests +# +# Checks that the code in this project passes incorrectness checks. + +cargo build --locked --all-targets +cargo test -- cgit v1.2.3