Continuous integration

Replace MIPS with Miri and add clippy to CI #1638

Sign in to view logs

Triggered via pull request October 17, 2023 21:00

KodrAus

synchronize #712

ci/miri-clippy

Status Success

Total duration 8m 16s

Artifacts –

ci.yml

on: pull_request

Tests / WebAssembly (wasm-bindgen)

Tests / WebAssembly (WASI)

Build / Embedded

Build / No deps

Matrix: os_tests