Skip to content
CI

Add GenMC estimation mode. #11749

Sign in to view logs

Add GenMC estimation mode.

Add GenMC estimation mode. #11749

Triggered via pull request September 12, 2025 21:31
@Patrick-6Patrick-6
opened #4583
Patrick-6:miri-genmc-estimation
Status Failure
Total duration 29m 45s
Artifacts –

ci.yml

on: pull_request
Matrix: test
style checks
5m 57s
style checks
coverage report
6m 8s
coverage report
automatic pull from rustc
0s
automatic pull from rustc
conclusion
3s
conclusion
cronjob failure notification
cronjob failure notification
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 notice
style checks
Process completed with exit code 1.
conclusion
Process completed with exit code 1.
test (i686-pc-windows-msvc)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677