Skip to content

Merge branch 'main' into update-docs #33

Merge branch 'main' into update-docs

Merge branch 'main' into update-docs #33

Triggered via push June 25, 2024 09:02
Status Success
Total duration 51s
Artifacts

ci.yml

on: push
Check build
22s
Check build
Run Tests
16s
Run Tests
Check formatting
7s
Check formatting
Check Documentation Build
40s
Check Documentation Build
Clippy
22s
Clippy
Fit to window
Zoom out
Zoom in