Skip to content

Merge branch 'main' into update_dependencies_2023_10 #558

Merge branch 'main' into update_dependencies_2023_10

Merge branch 'main' into update_dependencies_2023_10 #558

Triggered via push September 27, 2023 15:08
Status Success
Total duration 1m 8s
Artifacts

ci.yml

on: push
Clippy
30s
Clippy
Rustfmt
26s
Rustfmt
Check dependencies for security issues
28s
Check dependencies for security issues
Matrix: build
Fit to window
Zoom out
Zoom in