Skip to content

Update Charon submodule #3538

Update Charon submodule

Update Charon submodule #3538

Annotations

2 warnings

BuildBundle-MacOs

succeeded Jan 14, 2025 in 11m 12s
Set up job
1s
Checkout code
2s
Setup Kani Dependencies
1m 51s
Build bundle
9m 13s
Post Checkout code
0s
Complete job
1s