... and have been failing for a while: https://github.com/model-checking/kani/actions/workflows/slow-tests.yml

Cc @danielsn because he suggested them.