CBMC: Remove namespacing #2590
mkannwischerall.yml
on: push
Matrix: Base / Linting
Matrix: Base / quickcheck-acvp
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
Base
/
x86_64 Intel syntax
3m 3s
Base
/
symlink-check
4s
Nix
/
check_modified_files
33s
Lint Markdown
/
lint-markdown-link
19s
Matrix: Baremetal / baremetal_tests
Matrix: libOQS / oqs_basic_build
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
...
/
Start instance (c7g.4xlarge)
1m 2s
CBMC
/
...
/
Start instance (c7g.4xlarge)
1m 3s
CBMC
/
...
/
Start instance (c7g.4xlarge)
1m 2s
Matrix: Extended / backend_tests
Matrix: Extended / build_kat
Matrix: Extended / Check API consistency
Matrix: Extended / check-cf-protections
Matrix: Extended / Check autogenerated files
Matrix: Extended / Check object code in HOL-Light proofs
Matrix: Extended / compatibility_tests
Matrix: Extended / compiler_tests
Matrix: Extended / Non-standard configurations
Matrix: Extended / ec2_compatibilitytests
Matrix: Extended / ec2_functests
Matrix: Extended / stack_analysis
Matrix: Constant-time / check-ct-varlat
CBMC
/
...
/
Stop instance (c7g.4xlarge)
6s
CBMC
/
...
/
Stop instance (c7g.4xlarge)
5s
CBMC
/
...
/
Stop instance (c7g.4xlarge)
8s
SLOTHY
/
...
/
Stop instance (c8g.8xlarge)
8s