#[contracts::requires(...)] + #[contracts::ensures(...)] #148130
celinvalci.yml
on: pull_request
Calculate job matrix
13s
Matrix: job
bors build finished
0s
Annotations
5 errors and 10 warnings
|
PR - x86_64-gnu-llvm-18
Process completed with exit code 1.
|
|
PR - x86_64-gnu-tools
The job was canceled because "_1_1_0_x86_64-gnu-llvm_sh" failed.
|
|
PR - x86_64-gnu-tools
The operation was canceled.
|
|
PR - mingw-check
The job was canceled because "_1_1_0_x86_64-gnu-llvm_sh" failed.
|
|
PR - mingw-check
The operation was canceled.
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
PR - x86_64-gnu-llvm-18
the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
|