Skip to content
Kani CI

Update charon submodule #9338

Sign in to view logs

Update charon submodule

Update charon submodule #9338

Triggered via pull request December 30, 2024 17:51
@zhassan-awszhassan-aws
opened #3801
zhassan-aws:charon-2024-12-30
Status Failure
Total duration 4m 59s
Artifacts –

kani.yml

on: pull_request
benchcomp-tests
4m 51s
benchcomp-tests
perf
3m 39s
perf
documentation
2m 25s
documentation
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

10 errors
regression (ubuntu-24.04)
Process completed with exit code 1.
regression (ubuntu-22.04)
The job was canceled because "ubuntu-24_04" failed.
regression (ubuntu-22.04)
The operation was canceled.
regression (macos-14)
The job was canceled because "ubuntu-24_04" failed.
regression (macos-14)
The operation was canceled.
regression (ubuntu-20.04)
The job was canceled because "ubuntu-24_04" failed.
regression (ubuntu-20.04)
The operation was canceled.
regression (macos-13)
The job was canceled because "ubuntu-24_04" failed.
perf
Process completed with exit code 1.
benchcomp-tests
Process completed with exit code 1.