Skip to content

Merge remote-tracking branch 'origin/main' into serialization-prototy… #86

Merge remote-tracking branch 'origin/main' into serialization-prototy…

Merge remote-tracking branch 'origin/main' into serialization-prototy… #86

Triggered via push May 25, 2024 11:09
Status Success
Total duration 1m 46s
Artifacts

ci.yml

on: push
Run Tests
1m 39s
Run Tests
Check formatting
7s
Check formatting
Check Documentation Build
45s
Check Documentation Build
Clippy
24s
Clippy
Matrix: Check build
Matrix: Check Cross-Compilation
Fit to window
Zoom out
Zoom in