Skip to content

bug: handle terminal cleanup if main.rs panics from an Err #3059

bug: handle terminal cleanup if main.rs panics from an Err

bug: handle terminal cleanup if main.rs panics from an Err #3059

Triggered via pull request January 18, 2025 02:19
Status Cancelled
Total duration 11m 22s
Artifacts

coverage.yml

on: pull_request
pre-job
5s
pre-job
Matrix: coverage
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
coverage (windows-2019, x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for 'codecov-refs/pull/1660/merge' exists
coverage (windows-2019, x86_64-pc-windows-msvc)
The operation was canceled.
coverage (ubuntu-latest, x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for 'codecov-refs/pull/1660/merge' exists
coverage (ubuntu-latest, x86_64-unknown-linux-gnu)
The operation was canceled.
pre-job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636