Skip to content

Merge branch 'Explorer09-print-time-format' #1360

Merge branch 'Explorer09-print-time-format'

Merge branch 'Explorer09-print-time-format' #1360

Triggered via push November 10, 2023 18:11
Status Success
Total duration 1m 57s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
build-ubuntu-latest-minimal-gcc
37s
build-ubuntu-latest-minimal-gcc
build-ubuntu-latest-minimal-clang
1m 5s
build-ubuntu-latest-minimal-clang
build-ubuntu-latest-full-featured-gcc
1m 0s
build-ubuntu-latest-full-featured-gcc
build-ubuntu-latest-full-featured-clang
1m 1s
build-ubuntu-latest-full-featured-clang
build-ubuntu-latest-gcc-static
1m 11s
build-ubuntu-latest-gcc-static
build-ubuntu-latest-pcp
24s
build-ubuntu-latest-pcp
build-ubuntu-latest-clang-analyzer
1m 46s
build-ubuntu-latest-clang-analyzer
build-ubuntu-latest-clang-sanitizer
1m 12s
build-ubuntu-latest-clang-sanitizer
build-macos-latest-clang
1m 6s
build-macos-latest-clang
whitespace_check
3s
whitespace_check
Fit to window
Zoom out
Zoom in