[hermes] Add some tests for Charon invocation #9645
joshlfci.yml
on: pull_request
Generate cache
9s
Run tests under Kani
28s
Check that all toolchains listed in Cargo.toml are tested in CI
28s
Check all-jobs-succeeded depends on all jobs
29s
Check for todo comments
24s
Run Git hooks
28s
zizmor
4s
Matrix: build_test
Generate code coverage
0s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
0s
Build (zerocopy / nightly / --simd / avr-none)
0s
Check Rust formatting
0s
Check stale stderr files
0s
Check GitHub Actions
4s
Check README.md
0s
Check crate versions match
0s
Check MSRV is minimal
0s
All checks succeeded
0s
Annotations
106 errors
|
Build & Test (zerocopy / msrv / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Generate code coverage
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check stale stderr files
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check crate versions match
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check Rust formatting
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check README.md
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check GitHub Actions
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check MSRV is minimal
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / --no-default-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build (zerocopy / nightly / --simd / avr-none)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / stable / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / msrv / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / --no-default-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy-derive / nightly / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --no-default-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --all-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / nightly / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / --no-default-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
zizmor
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
zizmor
The operation was canceled.
|
|
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / --no-default-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --no-default-features / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --no-default-features / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --no-default-features / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / / x86_64-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / / x86_64-pc-windows-msvc)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check for todo comments
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check for todo comments
The operation was canceled.
|
|
Run tests under Kani
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Run tests under Kani
The operation was canceled.
|
|
Run Git hooks
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Run Git hooks
The operation was canceled.
|
|
Check that all toolchains listed in Cargo.toml are tested in CI
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check that all toolchains listed in Cargo.toml are tested in CI
The operation was canceled.
|
|
Build & Tests
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check all-jobs-succeeded depends on all jobs
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
|
|
Check all-jobs-succeeded depends on all jobs
The operation was canceled.
|