Skip to content

Update CBMC build instructions for Amazon Linux 2 #212

Update CBMC build instructions for Amazon Linux 2

Update CBMC build instructions for Amazon Linux 2 #212

Triggered via pull request August 9, 2024 11:12
Status Success
Total duration 4m 3s
Artifacts

verify-std-check.yml

on: pull_request
Matrix: verify-std
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 5 warnings
verify-std (ubuntu-22.04)
Process completed with exit code 1.
verify-std (ubuntu-22.04)
Process completed with exit code 1.
verify-std (macos-14)
Process completed with exit code 1.
verify-std (macos-14)
Process completed with exit code 1.
verify-std (macos-14)
python@3.12 3.12.4 is already installed and up-to-date. To reinstall 3.12.4, run: brew reinstall python@3.12
verify-std (macos-14)
Already linked: /opt/homebrew/Cellar/python@3.12/3.12.4
verify-std (macos-14)
wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget
verify-std (macos-14)
jq 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall jq
verify-std (macos-14)
python@3.12 3.12.4 is already installed and up-to-date. To reinstall 3.12.4, run: brew reinstall python@3.12