Skip to content

Merge branch 'main' into dev #144

Merge branch 'main' into dev

Merge branch 'main' into dev #144

Triggered via push June 5, 2025 10:01
Status Success
Total duration 7m 18s
Artifacts

ci.yml

on: push
Matrix: test
Indicate completion to coveralls.io
15s
Indicate completion to coveralls.io
Fit to window
Zoom out
Zoom in