Continuous integration

Replace MIPS with Miri and add clippy to CI #1636

Sign in to view logs

Triggered via pull request October 17, 2023 20:55

KodrAus

opened #712

ci/miri-clippy

Status Success

Total duration 6m 19s

Artifacts –

ci.yml

on: pull_request

Tests / WebAssembly (wasm-bindgen)

Tests / WebAssembly (WASI)

Build / Embedded

Build / No deps

Matrix: os_tests