Merge branch 'master' into shuffling-id

sigp · Sep 7, 2020 · 1671f29 · 1671f29
2 parents 068ff88 + 9833eca
commit 1671f29
Show file tree

Hide file tree

Showing 176 changed files with 9,156 additions and 4,507 deletions.
diff --git a/.github/workflows/test-suite.yml b/.github/workflows/test-suite.yml
@@ -123,6 +123,8 @@ jobs:
     - uses: actions/checkout@v1
     - name: Lint code for quality and style with Clippy
       run: make lint
+    - name: Certify Cargo.lock freshness
+      run: git diff --exit-code Cargo.lock
   arbitrary-check:
     name: arbitrary-check
     runs-on: ubuntu-latest

diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,4 @@ target/
 flamegraph.svg
 perf.data*
 *.tar.gz
+bin/