Skip to content
Build and Test CBMC

goto-programs: Replace uses of namespacet::follow #9793

Sign in to view logs

goto-programs: Replace uses of namespacet::follow

goto-programs: Replace uses of namespacet::follow #9793

Triggered via pull request March 22, 2024 19:56
@tautschnigtautschnig
synchronize #8230
tautschnig:cleanup/no-follow-goto-programs
Status Success
Total duration 3h 37m 13s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
36m 8s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
30m 31s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
10m 40s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
31m 28s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
19m 17s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
38m 35s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-13
18m 49s
check-ubuntu-22_04-cmake-gcc-13
check-ubuntu-22_04-cmake-gcc-32bit
19m 2s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
14m 40s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
19m 1s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-11-make-clang
42m 26s
check-macos-11-make-clang
check-macos-12-cmake-clang
49m 40s
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
1h 2m
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
1h 8m
check-vs-2022-make-build-and-test
windows-msi-package
17m 37s
windows-msi-package
check-string-table
2m 34s
check-string-table
check-docker-image
20m 25s
check-docker-image
include-what-you-use
26m 35s
include-what-you-use
codecov-coverage-report
31m 5s
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/.