Skip to content
CI

chore: Update ci #2

Sign in to view logs

chore: Update ci

chore: Update ci #2

Triggered via pull request May 3, 2023 01:28
@tottototottoto
synchronize #854
tottoto:update-ci
Status Success
Total duration 21m 10s
Artifacts –

ci.yml

on: pull_request
rustfmt
11s
rustfmt
machete
13s
machete
kani
1m 3s
kani
no-std
30s
no-std
Matrix: test
Fit to window
Zoom out
Zoom in