Skip to content
Check Std Verification

Update LLBC backend for Trait support and translation of projection #1041

Sign in to view logs

Update LLBC backend for Trait support and translation of projection

Update LLBC backend for Trait support and translation of projection #1041

Triggered via pull request January 9, 2025 17:24
@thanhnguyen-awsthanhnguyen-aws
synchronize #3807
thanhnguyen-aws:update-charon
Status Success
Total duration 4m 24s
Artifacts –

verify-std-check.yml

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

Annotations

4 errors and 2 warnings
verify-std (macos-14)
Process completed with exit code 1.
verify-std (macos-14)
Process completed with exit code 1.
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)
[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]
verify-std (macos-14)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1