Skip to content
CI

Remove which dependency #104

Sign in to view logs

Remove which dependency

Remove which dependency #104

Triggered via pull request December 19, 2023 21:38
@rukairukai
synchronize #962
rukai:remove_which
Status Success
Total duration 14m 11s
Artifacts –

ci.yml

on: pull_request
rustfmt
8s
rustfmt
machete
5s
machete
kani
53s
kani
no-std
20s
no-std
Matrix: test
Fit to window
Zoom out
Zoom in