Skip to content
Build and Test CBMC

C library: additional floating-point functions and cleanup #9612

Sign in to view logs

C library: additional floating-point functions and cleanup

C library: additional floating-point functions and cleanup #9612

Triggered via pull request February 8, 2024 14:58
@tautschnigtautschnig
synchronize #8195
tautschnig:bugfixes/math-lib
Status Success
Total duration 1h 4m 53s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
16m 23s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
25m 56s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
3m 39s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
21m 54s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
18m 47s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
21m 59s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-13
19m 49s
check-ubuntu-22_04-cmake-gcc-13
check-ubuntu-22_04-cmake-gcc-32bit
20m 45s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
2m 36s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
8m 5s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-11-make-clang
39m 51s
check-macos-11-make-clang
check-macos-12-cmake-clang
1h 4m
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
51m 52s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
52m 2s
check-vs-2022-make-build-and-test
windows-msi-package
4m 4s
windows-msi-package
check-string-table
2m 33s
check-string-table
check-docker-image
20m 9s
check-docker-image
include-what-you-use
26m 50s
include-what-you-use
codecov-coverage-report
29m 54s
codecov-coverage-report
Fit to window
Zoom out
Zoom in

Annotations

1 warning
codecov-coverage-report
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.