Skip to content

Merge pull request 'update docs' (#7) from update-docs into main #31

Merge pull request 'update docs' (#7) from update-docs into main

Merge pull request 'update docs' (#7) from update-docs into main #31

Triggered via push June 25, 2024 08:26
Status Success
Total duration 47s
Artifacts

ci.yml

on: push
Check build
21s
Check build
Run Tests
22s
Run Tests
Check formatting
9s
Check formatting
Check Documentation Build
38s
Check Documentation Build
Clippy
21s
Clippy
Fit to window
Zoom out
Zoom in