Skip to content
Check Std Verification

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

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

Triggered via pull request January 3, 2025 18:51
@thanhnguyen-awsthanhnguyen-aws
synchronize #3807
thanhnguyen-aws:update-charon
Status Failure
Total duration 2m 36s
Artifacts –

verify-std-check.yml

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

Annotations

3 errors
verify-std (ubuntu-22.04)
Process completed with exit code 101.
verify-std (macos-14)
The job was canceled because "ubuntu-22_04" failed.
verify-std (macos-14)
The operation was canceled.