diff options
| author | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-01-10 19:00:52 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-01-10 19:00:52 +0100 |
| commit | 7a7064963ee41885be88f558736ca73dd8b02d70 (patch) | |
| tree | b9d89dc0174f00106b9da239fc97a1d06dd28498 /src/ci/scripts | |
| parent | 66829d659742d90246b4c0dfa27e1b4427da6bbe (diff) | |
disable failing test
Miri is not shipped on stable, so we don't care whether it builds or not.
Diffstat (limited to 'src/ci/scripts')
0 files changed, 0 insertions, 0 deletions