Skip to content
CI

ISLE: upstream prototype ISLE verifier (Crocus) #25517

Sign in to view logs

ISLE: upstream prototype ISLE verifier (Crocus)

ISLE: upstream prototype ISLE verifier (Crocus) #25517

Triggered via pull request September 24, 2024 16:49
@avanhattavanhatt
synchronize #9178
wellesley-prog-sys:upstream-08-28
Status Cancelled
Total duration 5m 20s
Artifacts –

main.yml

on: pull_request
Determine CI jobs to run
15s
Determine CI jobs to run
Matrix: micro_checks
Rustfmt
24s
Rustfmt
Check JS
7s
Check JS
Clang format
15s
Clang format
no_std checks
42s
no_std checks
Clippy
4m 54s
Clippy
Monolith Checks
2m 49s
Monolith Checks
Build wasi-preview1-component-adapter
0s
Build wasi-preview1-component-adapter
Cargo vet
41s
Cargo vet
Matrix: build
Matrix: Miri
Matrix: test
Matrix: test_capi
Matrix: test_wasi_nn
Cargo deny
25s
Cargo deny
Doc build
0s
Doc build
Check Windows ARM64
0s
Check Windows ARM64
Nightly tests
0s
Nightly tests
Test wasmtime-fuzzing
0s
Test wasmtime-fuzzing
Test DWARF debugging
0s
Test DWARF debugging
Test the min-platform example
0s
Test the min-platform example
Build wasmtime-target-wasm32
0s
Build wasmtime-target-wasm32
Run benchmarks
0s
Run benchmarks
Meta deterministic check
0s
Meta deterministic check
verify-publish
0s
verify-publish
Build wasi-preview1-component-adapter-provider
0s
Build wasi-preview1-component-adapter-provider
Cargo vet failed on a Pull Request
0s
Cargo vet failed on a Pull Request
Record the result of testing and building steps
0s
Record the result of testing and building steps
push-tag
0s
push-tag
Fit to window
Zoom out
Zoom in

Annotations

32 errors
Rustfmt
Process completed with exit code 1.
Test Linux x86_64 with MPK (wasmtime)
Process completed with exit code 101.
Test Linux x86_64 (cranelift-codegen, cranelift-bitset, pulley-interpreter, cranelift-frontend, cranelift-jit, wasmtime-jit-icache-coherence, isle-fuzz, veri_ir, wasi-common, wasmtime-component-macro, component-macro-test-helpers, wasmtime-types, wasmtime-fiber, wasmtime-winch, wiggle, wiggle-test, wasmtime-wasi-nn, wasmtime-c-api-macros, test-programs, verify-component-adapter, example-tokio-wasm, embedding, cranelift-fuzzgen, wasm-spec-interpreter, wasmtime-wasi-http, wasmtime-wasi-threads)
Process completed with exit code 101.
Test Linux x86_64 with MPK (wasmtime-wasi)
Process completed with exit code 101.
Test MSRV on Linux x86_64 (cranelift-tools, cranelift-bforest, cranelift-codegen-shared, cranelift-codegen-meta, cranelift-interpreter, cranelift-module, cranelift-object, islec, cranelift-serde, wasmtime-asm-macros, wasmtime-component-util, wasmtime-cranelift, wasmtime-environ, wasmtime-jit-debug, winch-codegen, wiggle-macro, test-programs-artifacts, wasmtime-c-api, wasmtime-environ-fuzz, wasi-preview1-component-adapter, example-fib-debug-wasm, example-component-wasm, wasmtime-fuzz, pulley-interpreter-f...
Process completed with exit code 101.
Test Linux x86_64 (wasmtime-wasi)
Process completed with exit code 101.
Test Linux arm64 (cranelift-codegen, cranelift-bitset, pulley-interpreter, cranelift-frontend, cranelift-jit, wasmtime-jit-icache-coherence, isle-fuzz, veri_ir, wasi-common, wasmtime-component-macro, component-macro-test-helpers, wasmtime-types, wasmtime-fiber, wasmtime-winch, wiggle, wiggle-test, wasmtime-wasi-nn, wasmtime-c-api-macros, test-programs, verify-component-adapter, example-tokio-wasm, embedding, cranelift-fuzzgen, wasm-spec-interpreter, wasmtime-wasi-http, wasmtime-wasi-threads)
Process completed with exit code 101.
Test Linux x86_64 (cranelift-tools, cranelift-bforest, cranelift-codegen-shared, cranelift-codegen-meta, cranelift-interpreter, cranelift-module, cranelift-object, islec, cranelift-serde, wasmtime-asm-macros, wasmtime-component-util, wasmtime-cranelift, wasmtime-environ, wasmtime-jit-debug, winch-codegen, wiggle-macro, test-programs-artifacts, wasmtime-c-api, wasmtime-environ-fuzz, wasi-preview1-component-adapter, example-fib-debug-wasm, example-component-wasm, wasmtime-fuzz, pulley-interpreter-fuzz, was...
Process completed with exit code 101.
Test Linux x86_64 with MPK (cranelift-tools, cranelift-bforest, cranelift-codegen-shared, cranelift-codegen-meta, cranelift-interpreter, cranelift-module, cranelift-object, islec, cranelift-serde, wasmtime-asm-macros, wasmtime-component-util, wasmtime-cranelift, wasmtime-environ, wasmtime-jit-debug, winch-codegen, wiggle-macro, test-programs-artifacts, wasmtime-c-api, wasmtime-environ-fuzz, wasi-preview1-component-adapter, example-fib-debug-wasm, example-component-wasm, wasmtime-fuzz, pulley-interpreter-...
Process completed with exit code 101.
Test Linux arm64 (cranelift-tools, cranelift-bforest, cranelift-codegen-shared, cranelift-codegen-meta, cranelift-interpreter, cranelift-module, cranelift-object, islec, cranelift-serde, wasmtime-asm-macros, wasmtime-component-util, wasmtime-cranelift, wasmtime-environ, wasmtime-jit-debug, winch-codegen, wiggle-macro, test-programs-artifacts, wasmtime-c-api, wasmtime-environ-fuzz, wasi-preview1-component-adapter, example-fib-debug-wasm, example-component-wasm, wasmtime-fuzz, pulley-interpreter-fuzz, wasm...
Process completed with exit code 101.
Test Linux x86_64 with MPK (cranelift, cranelift-entity, cranelift-control, cranelift-isle, cranelift-reader, cranelift-native, cranelift-filetests, veri_engine, wasmtime-bench-api, wasmtime-cache, wasmtime-wit-bindgen, cranelift-wasm, wasmtime-versioned-export-macros, wasmtime-slab, wasmtime-wmemcheck, wiggle-generate, wasmtime-cli-flags, wasmtime-c-api-impl, component-fuzz-util, byte-array-literals, example-wasi-wasm, min-platform-host, component-test-util, wasmtime-fuzzing, wasmtime-explorer, wasmtime...
Process completed with exit code 101.
Test Linux arm64 (cranelift, cranelift-entity, cranelift-control, cranelift-isle, cranelift-reader, cranelift-native, cranelift-filetests, veri_engine, wasmtime-bench-api, wasmtime-cache, wasmtime-wit-bindgen, cranelift-wasm, wasmtime-versioned-export-macros, wasmtime-slab, wasmtime-wmemcheck, wiggle-generate, wasmtime-cli-flags, wasmtime-c-api-impl, component-fuzz-util, byte-array-literals, example-wasi-wasm, min-platform-host, component-test-util, wasmtime-fuzzing, wasmtime-explorer, wasmtime-wasi-runt...
Process completed with exit code 101.
Test Linux arm64 (wasmtime-wasi)
Process completed with exit code 101.
Test Linux arm64 (wasmtime)
Process completed with exit code 101.
Test Linux x86_64 (cranelift, cranelift-entity, cranelift-control, cranelift-isle, cranelift-reader, cranelift-native, cranelift-filetests, veri_engine, wasmtime-bench-api, wasmtime-cache, wasmtime-wit-bindgen, cranelift-wasm, wasmtime-versioned-export-macros, wasmtime-slab, wasmtime-wmemcheck, wiggle-generate, wasmtime-cli-flags, wasmtime-c-api-impl, component-fuzz-util, byte-array-literals, example-wasi-wasm, min-platform-host, component-test-util, wasmtime-fuzzing, wasmtime-explorer, wasmtime-wasi-run...
Process completed with exit code 101.
Test Linux x86_64 (wasmtime)
Process completed with exit code 101.
Test Linux x86_64 with MPK (wasmtime-cli)
Process completed with exit code 101.
Test MSRV on Linux x86_64 (cranelift, cranelift-entity, cranelift-control, cranelift-isle, cranelift-reader, cranelift-native, cranelift-filetests, veri_engine, wasmtime-bench-api, wasmtime-cache, wasmtime-wit-bindgen, cranelift-wasm, wasmtime-versioned-export-macros, wasmtime-slab, wasmtime-wmemcheck, wiggle-generate, wasmtime-cli-flags, wasmtime-c-api-impl, component-fuzz-util, byte-array-literals, example-wasi-wasm, min-platform-host, component-test-util, wasmtime-fuzzing, wasmtime-explorer, wasmtime-...
Process completed with exit code 101.
Test Linux x86_64 with MPK (cranelift-codegen, cranelift-bitset, pulley-interpreter, cranelift-frontend, cranelift-jit, wasmtime-jit-icache-coherence, isle-fuzz, veri_ir, wasi-common, wasmtime-component-macro, component-macro-test-helpers, wasmtime-types, wasmtime-fiber, wasmtime-winch, wiggle, wiggle-test, wasmtime-wasi-nn, wasmtime-c-api-macros, test-programs, verify-component-adapter, example-tokio-wasm, embedding, cranelift-fuzzgen, wasm-spec-interpreter, wasmtime-wasi-http, wasmtime-wasi-threads)
Process completed with exit code 101.
Test Linux x86_64 (wasmtime-cli)
Process completed with exit code 101.
Test MSRV on Linux x86_64 (wasmtime)
Process completed with exit code 101.
Test MSRV on Linux x86_64 (wasmtime-cli)
Process completed with exit code 101.
Test MSRV on Linux x86_64 (wasmtime-wasi)
Process completed with exit code 101.
Test MSRV on Linux x86_64 (cranelift-codegen, cranelift-bitset, pulley-interpreter, cranelift-frontend, cranelift-jit, wasmtime-jit-icache-coherence, isle-fuzz, veri_ir, wasi-common, wasmtime-component-macro, component-macro-test-helpers, wasmtime-types, wasmtime-fiber, wasmtime-winch, wiggle, wiggle-test, wasmtime-wasi-nn, wasmtime-c-api-macros, test-programs, verify-component-adapter, example-tokio-wasm, embedding, cranelift-fuzzgen, wasm-spec-interpreter, wasmtime-wasi-http, wasmtime-wasi-threads)
Process completed with exit code 101.
Test Linux arm64 (wasmtime-cli)
Process completed with exit code 101.
Cargo vet
Process completed with exit code 255.
Cargo vet failed on a Pull Request
Process completed with exit code 1.
Monolith Checks
Process completed with exit code 1.
Clippy
Canceling since a higher priority waiting request for 'CI-refs/pull/9178/merge' exists
Clippy
The operation was canceled.
Record the result of testing and building steps
Process completed with exit code 1.
Record the result of testing and building steps
Process completed with exit code 1.