Skip to content

Add -dev prefix again for the next (planned) release #89

Add -dev prefix again for the next (planned) release

Add -dev prefix again for the next (planned) release #89

Triggered via push January 10, 2024 10:00
Status Success
Total duration 1m 30s
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
41s
build-ubuntu-latest-minimal-gcc
build-ubuntu-latest-minimal-clang
1m 1s
build-ubuntu-latest-minimal-clang
build-ubuntu-latest-full-featured-gcc
57s
build-ubuntu-latest-full-featured-gcc
build-ubuntu-latest-full-featured-clang
1m 4s
build-ubuntu-latest-full-featured-clang
build-ubuntu-latest-gcc-static
48s
build-ubuntu-latest-gcc-static
build-ubuntu-latest-pcp
25s
build-ubuntu-latest-pcp
build-ubuntu-latest-clang-analyzer
1m 21s
build-ubuntu-latest-clang-analyzer
build-ubuntu-latest-clang-sanitizer
1m 5s
build-ubuntu-latest-clang-sanitizer
build-macos-latest-clang
1m 8s
build-macos-latest-clang
whitespace_check
4s
whitespace_check
Fit to window
Zoom out
Zoom in