Skip to content
Back to pull request #180

Merge branch 'main' into jonas/cleanup #57

Sign in to view logs

Merge branch 'main' into jonas/cleanup

Merge branch 'main' into jonas/cleanup #57

Triggered via push January 18, 2024 09:58
@CrabNejonasCrabNejonas
pushed a05bf98
jonas/cleanup
Status Success
Total duration 4m 38s
Artifacts –

ci-v1.yml

on: push
pre_ci  /  pre_ci
1s
pre_ci / pre_ci
Clippy
2m 39s
Clippy
Rustfmt
10s
Rustfmt
check-licenses
33s
check-licenses
Rust MSRV
3m 47s
Rust MSRV
Matrix: test
Fit to window
Zoom out
Zoom in