ci(miri): add 4 threads #130

Sign in to view logs

Triggered via push April 23, 2024 15:48

andrewsonin

main

Status Success

Total duration 35m 31s

Artifacts –

ci.yml

on: push