Skip to content
Check Std Verification

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

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 #994

Triggered via pull request January 2, 2025 17:47
@thanhnguyen-awsthanhnguyen-aws
opened #3807
thanhnguyen-aws:update-charon
Status Failure
Total duration 4m 5s
Artifacts –

verify-std-check.yml

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

Annotations

4 errors
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)
The job was canceled because "ubuntu-22_04" failed.
verify-std (macos-14)
The operation was canceled.