Skip to content

Merge pull request #30 from dwmunster/bugfix/workflow-perms #86

Merge pull request #30 from dwmunster/bugfix/workflow-perms

Merge pull request #30 from dwmunster/bugfix/workflow-perms #86

Triggered via push July 7, 2024 15:51
Status Success
Total duration 1m 11s
Artifacts

ci.yml

on: push
Check Formatting
9s
Check Formatting
Run tests
1m 1s
Run tests
Check documentation
44s
Check documentation
Run clippy
30s
Run clippy
Fit to window
Zoom out
Zoom in