Skip to content
Nightly: CBMC Latest

Nightly: CBMC Latest #751

Sign in to view logs

Nightly: CBMC Latest

Nightly: CBMC Latest #751

Triggered via schedule January 21, 2025 09:01
@zhassan-awszhassan-aws
⁠ 3138a96
main
Status Success
Total duration 1h 5m 31s
Artifacts –

cbmc-latest.yml

on: schedule
perf
43m 42s
perf
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
regression (macos-13)
python@3.13 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall python@3.13
regression (macos-13)
Already linked: /usr/local/Cellar/python@3.13/3.13.1