Skip to content

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

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

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

Triggered via push June 25, 2024 14:31
Status Success
Total duration 58s
Billable time 5m
Artifacts

ci.yml

on: push
Check build
32s
Check build
Run Tests
31s
Run Tests
Check formatting
7s
Check formatting
Check Documentation Build
49s
Check Documentation Build
Clippy
31s
Clippy
Fit to window
Zoom out
Zoom in