tree d0711ddb69d37897d77d7f9f6194c7ca1ed901ca
parent c782d797af26a0bdc8f52c822e39c2603e0c66ab
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1607601036 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> 1607603845 +0000

Revert "[otbn] Re-enable smoke test in CI"

This reverts commit 8438016. Unfortunately, the changes in commit
480c0deb0 (which passed CI before enabling the smoke test, but then
were merged afterwards) break things.

Let's disable the test for a bit: fixing it properly needs a couple of
patches to the ISS, which are pending but not yet merged.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>