diff options
| author | Jake Goulding <jake.goulding@gmail.com> | 2023-10-31 15:47:59 -0400 |
|---|---|---|
| committer | Jake Goulding <jake.goulding@gmail.com> | 2023-11-08 08:53:58 -0500 |
| commit | 469d34b39b5d5be623850a3500c1e3a226180b41 (patch) | |
| tree | 91fd84ffc0c8fa46b1de70b8eeaebdb6a378e27d /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | fab1054e1742790c22ccc92a625736d658363677 (diff) | |
| download | rust-469d34b39b5d5be623850a3500c1e3a226180b41.tar.gz rust-469d34b39b5d5be623850a3500c1e3a226180b41.zip | |
Mark Rustdoc test as Linux-only
Due to incorrect CI configuration, this test was not being run on macOS. aarch64-apple-darwin will start running it, so we correct the configuration.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions