Skip to content

Merge branch 'main' into dockathys #1051

Merge branch 'main' into dockathys

Merge branch 'main' into dockathys #1051

Triggered via push May 9, 2024 02:52
Status Success
Total duration 12m 3s
Artifacts

ci.yaml

on: push
Matrix: Tests
Build Documentation
8m 57s
Build Documentation
coveralls
10s
coveralls
Fit to window
Zoom out
Zoom in