Skip to content

Merge pull request 'Updates for docs' (#8) from docs-updates into main #7

Merge pull request 'Updates for docs' (#8) from docs-updates into main

Merge pull request 'Updates for docs' (#8) from docs-updates into main #7

Triggered via push June 25, 2024 15:54
Status Success
Total duration 40s
Artifacts

ci.yml

on: push
Check build
20s
Check build
Run Tests
14s
Run Tests
Check formatting
8s
Check formatting
Check Documentation Build
28s
Check Documentation Build
Clippy
20s
Clippy
Fit to window
Zoom out
Zoom in