Skip to content
CI

chore: migrate to interrupt-mutex crate #107

Sign in to view logs

chore: migrate to interrupt-mutex crate

chore: migrate to interrupt-mutex crate #107

Re-run triggered October 8, 2023 15:40
@mkroeningmkroening
1fb8bfd
interrupt-mutex-crate
Status Success
Total duration 3m 56s
Artifacts –

ci.yml

on: push
Clippy
27s
Clippy
Check documentation
23s
Check documentation
Check format
15s
Check format
Test with Miri
3m 45s
Test with Miri
Test
25s
Test
Fit to window
Zoom out
Zoom in