Skip to content
Check Std Verification

Adjust test patterns so as not to check for trivial properties #343

Sign in to view logs

Adjust test patterns so as not to check for trivial properties

Adjust test patterns so as not to check for trivial properties #343

Triggered via pull request August 27, 2024 08:21
@tautschnigtautschnig
opened #3464
tautschnig:adjust-for-cbmc-changes
Status Success
Total duration 7m 40s
Artifacts –

verify-std-check.yml

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

Annotations

5 warnings
verify-std (macos-14)
python@3.12 3.12.5 is already installed and up-to-date. To reinstall 3.12.5, run: brew reinstall python@3.12
verify-std (macos-14)
Already linked: /opt/homebrew/Cellar/python@3.12/3.12.5
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.5 is already installed and up-to-date. To reinstall 3.12.5, run: brew reinstall python@3.12