Skip to content
CI

ISLE: upstream prototype ISLE verifier (Crocus) #25522

Sign in to view logs

ISLE: upstream prototype ISLE verifier (Crocus)

ISLE: upstream prototype ISLE verifier (Crocus) #25522

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Clang format
11s
Check JS
7s
Clippy
5m 2s
Determine CI jobs to run
12s
Check wasmtime
4m 9s
Monolith Checks
2m 59s
Check wasmtime-cli
3m 35s
no_std checks
49s
Rustfmt
21s
Check cranelift-codegen
59s
Check wasmtime-bench-api
1m 12s
Check wasmtime-c-api
1m 14s
Cargo deny
0s
Doc build
0s
Cargo vet
0s
Check Windows ARM64
0s
Test C-API ${{ matrix.os }}
0s
Test wasmtime-fuzzing
0s
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...
4m 33s
Nightly tests
0s
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...
4m 24s
Test wasi-nn (${{ matrix.feature }}, ${{ matrix.os }})
0s
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)
6m 57s
Build wasi-preview1-component-adapter
0s
Test Linux x86_64 (wasmtime)
4m 49s
Build wasmtime-target-wasm32
0s
Test Linux x86_64 (wasmtime-cli)
8m 59s
Test Linux x86_64 (wasmtime-wasi)
5m 13s
Test DWARF debugging
0s
Test the min-platform example
0s
Run benchmarks
0s
Meta deterministic check
0s
Miri
0s
verify-publish
0s
Release build for ${{ matrix.build }}
0s
Cargo vet failed on a Pull Request
0s
Build wasi-preview1-component-adapter-provider
0s
Record the result of testing and building steps
1s
push-tag
0s
55m 46s