simulator: add counterexample minimization #2077
alpaylanrust.yml
on: pull_request
cargo-fmt-check
17s
clippy
54s
build-wasm
1m 13s
bench
1m 57s
test-limbo
58s
test-sqlite
16s
Matrix: build-native
Annotations
8 errors and 7 warnings
|
build-native (ubuntu-latest)
Process completed with exit code 101.
|
|
build-native (macos-latest)
The job was canceled because "ubuntu-latest" failed.
|
|
build-native (macos-latest)
The operation was canceled.
|
|
build-native (windows-latest)
The job was canceled because "ubuntu-latest" failed.
|
|
build-native (windows-latest)
The operation was canceled.
|
|
clippy
Process completed with exit code 101.
|
|
test-limbo
Process completed with exit code 2.
|
|
bench
Process completed with exit code 101.
|
|
test-sqlite
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
cargo-fmt-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-native (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-limbo
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-wasm
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
bench
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|