Adds an over-approximation model for sysconf #8383
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
21m 12s
check-ubuntu-20_04-make-clang
32m 11s
check-ubuntu-20_04-make-clang-smt-z3
5m 32s
check-ubuntu-20_04-cmake-gcc
35m 11s
check-ubuntu-22_04-make-clang
29m 0s
check-ubuntu-22_04-cmake-gcc
28m 46s
check-ubuntu-22_04-cmake-gcc-12
23m 32s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 57s
check-ubuntu-20_04-cmake-gcc-THOROUGH
11m 13s
check-macos-11-make-clang
42m 50s
check-macos-12-cmake-clang
39m 45s
check-vs-2019-cmake-build-and-test
1h 10m
check-vs-2022-make-build-and-test
1h 7m
windows-msi-package
7m 59s
check-string-table
3m 46s
check-docker-image
25m 18s
include-what-you-use
29m 39s
codecov-coverage-report
1h 25m