Skip to content
CI

Fix code generation for Name trait #88

Sign in to view logs

Fix code generation for Name trait

Fix code generation for Name trait #88

Triggered via pull request November 17, 2023 01:20
@tinrabtinrab
opened #944
tinrab:feature/fix-message-package-names
Status Success
Total duration 15m 16s
Artifacts –

ci.yml

on: pull_request
rustfmt
11s
rustfmt
machete
1m 10s
machete
kani
1m 0s
kani
no-std
44s
no-std
Matrix: test
Fit to window
Zoom out
Zoom in