Skip to content

Merge pull request 'Improve HAL' (#11) from improve-hal into main #47

Merge pull request 'Improve HAL' (#11) from improve-hal into main

Merge pull request 'Improve HAL' (#11) from improve-hal into main #47

Triggered via push July 4, 2024 16:16
Status Success
Total duration 46s
Artifacts

ci.yml

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