From 7db1bf393db2d0da8636d0e20b15c041591cd1cd Mon Sep 17 00:00:00 2001
From: David Drysdale <drysdale@google.com>
Date: Mon, 19 Jul 2021 07:12:42 +0100
Subject: [PATCH] ci: add cargo-nono step

---
 .github/workflows/ci.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3973bd2d..176b6db0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -113,6 +113,25 @@ jobs:
       - run: rustc --version
       - run: cargo doc --no-deps --document-private-items
 
+  nono:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: nightly-2021-07-01
+          override: true
+          components: rustfmt
+      - run: cargo install --git https://github.com/daviddrysdale/cargo-nono --branch allowlist cargo-nono
+      - run: cargo nono check --package tink-proto --allow spin
+      - run: cargo nono check --package tink-core --allow spin
+      - run: cargo nono check --package tink-prf --allow spin
+      - run: cargo nono check --package tink-mac --allow spin
+      - run: cargo nono check --package tink-aead --allow spin
+      - run: cargo nono check --package tink-daead --allow spin
+      - run: cargo nono check --package tink-signature --allow spin --allow signature --allow ed25519-dalek
+
   udeps:
     runs-on: ubuntu-latest
     steps: