Skip to content

fix(core/dumping): export DumpingPermit #560

fix(core/dumping): export DumpingPermit

fix(core/dumping): export DumpingPermit #560

miri

succeeded Nov 12, 2024 in 58s
Set up job
1s
Run actions/checkout@v4
0s
Run rustup toolchain install nightly --component miri
7s
Run rustup override set nightly
0s
Run rustup show active-toolchain -v
0s
Run cargo miri setup
15s
Run cargo miri test -p elfo-core --all-features -- _miri
34s
Post Run actions/checkout@v4
0s
Complete job
0s