Skip to content

Merge pull request #1 from dieris/dr/pad-control-flow #35

Merge pull request #1 from dieris/dr/pad-control-flow

Merge pull request #1 from dieris/dr/pad-control-flow #35

Triggered via push September 21, 2023 20:19
Status Skipped
Total duration 7s
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-1
Matrix: integration-tests-2
Matrix: integration-tests-3
Fit to window
Zoom out
Zoom in