Skip to content

Clarify postcondition capture/evaluation #602

Clarify postcondition capture/evaluation

Clarify postcondition capture/evaluation #602

Triggered via push August 21, 2024 17:27
Status Failure
Total duration 11m 20s
Artifacts 3
Matrix: regression-tests
aggregate-results
5s
aggregate-results
Fit to window
Zoom out
Zoom in

Annotations

2 errors
win-22 | cl.exe | c++latest | default | windows-2022
Process completed with exit code 1.
ubu-20 | g++-10 | c++20 | libstdc++ | ubuntu-20.04
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
aggregated-results Expired
1.27 KB
ubuntu-20.04-g++-10-c++20-libstdc++.patch Expired
534 Bytes
windows-2022-cl.exe-c++latest-default.patch Expired
790 Bytes