Skip to content
Back to pull request #1179

fix(engine) Fix crash with hax_lib::fstar::before in recursive bundles #3742

Sign in to view logs

fix(engine) Fix crash with hax_lib::fstar::before in recursive bundles

fix(engine) Fix crash with hax_lib::fstar::before in recursive bundles #3742

Annotations

1 warning

test-workspace (macos-latest)

test-workspace (macos-latest)
succeeded Jan 20, 2025 in 2m 21s