Skip to content

Merge branch 'main' into pea #21

Merge branch 'main' into pea

Merge branch 'main' into pea #21

Triggered via push August 13, 2024 13:41
Status Skipped
Total duration 6s
Artifacts

ci.yml

on: push
Run code quality checks
0s
Run code quality checks
Build documentation
0s
Build documentation
Matrix: unit-tests
Submit code coverage metrics
0s
Submit code coverage metrics
Matrix: integration-tests
Fit to window
Zoom out
Zoom in