Skip to content
ci

Have common macros for spanned internal errors in vir and rust_verify #6440

Sign in to view logs

Have common macros for spanned internal errors in vir and rust_verify

Have common macros for spanned internal errors in vir and rust_verify #6440

test-and-release-macos (no-std)

test-and-release-macos (no-std)
succeeded Feb 18, 2025 in 3m 26s