Merge pull request #6687 from BenWiederhake/dev-drop-windows-code-coverage

ci: disable broken code coverage on windows
This commit is contained in:
Sylvestre Ledru
2024-09-08 09:55:42 +02:00
committed by GitHub
+2 -1
View File
@@ -938,7 +938,8 @@ jobs:
job:
- { os: ubuntu-latest , features: unix, toolchain: nightly }
- { os: macos-latest , features: macos, toolchain: nightly }
- { os: windows-latest , features: windows, toolchain: nightly-x86_64-pc-windows-gnu }
# FIXME: Re-enable Code Coverage on windows, which currently fails due to "profiler_builtins". See #6686.
# - { os: windows-latest , features: windows, toolchain: nightly-x86_64-pc-windows-gnu }
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master