Skip to content
CI

Make ExecutionError non-exhaustive. #190

Sign in to view logs

Make ExecutionError non-exhaustive.

Make ExecutionError non-exhaustive. #190

Triggered via pull request January 15, 2025 15:15
@jauhienjauhien
opened #76
feature-simulation-halt
Status Success
Total duration 4m 11s
Artifacts –

ci.yml

on: pull_request
Build wasm32
18s
Build wasm32
Test suite
59s
Test suite
Loom dry run
41s
Loom dry run
Miri
3m 58s
Miri
Lints
31s
Lints
Docs
25s
Docs
Matrix: Check
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Build wasm32
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check (stable)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check (1.77.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lints
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Loom dry run
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test suite
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Miri
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636