Skip to content

Rename 'devel' in 'develop'... #10

Rename 'devel' in 'develop'...

Rename 'devel' in 'develop'... #10

Triggered via push May 28, 2024 09:26
Status Success
Total duration 7m 4s
Artifacts 6

ci.yml

on: push
analysis-headers
8s
analysis-headers
analysis-clang-format
24s
analysis-clang-format
deploy
0s
deploy
build-linux-gcc-coverage
1m 46s
build-linux-gcc-coverage
build-linux-gcc-x64-avx2
1m 49s
build-linux-gcc-x64-avx2
build-linux-clang
1m 25s
build-linux-clang
test-memcheck-regression
6m 39s
test-memcheck-regression
test-coverage-regression
2m 5s
test-coverage-regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
analysis-headers Expired
1.68 KB
build Expired
91.4 MB
build-linux-clang Expired
2.04 MB
build-linux-gcc-x64-avx2 Expired
2.88 MB
test-memcheck-regression Expired
92.9 KB
test-regression-code-coverage-report Expired
1.29 MB