CI

Workflow runs for CI

• chore(deps): bump the wasm-tools family to 0.263, decoding memargs as 0.262 did

  queued:
  CI#3475:Pull request#1707openedbyavrabe
  v091-wasmtools

  Nov 12, 2026Queued
  More actions for workflow run 3475

• build: compile the ordeal crates optimized in the dev profile (#1706)

  queued:
  CI#3474:Commit5dc4e28pushedbyavrabe
  main

  Nov 12, 2026Queued
  More actions for workflow run 3474

• build: compile the ordeal crates optimized in the dev profile

  failed:
  CI#3473:Pull request#1706synchronizebyavrabe
  ci-coverage-deadline

  Nov 12, 20262h 49m 16s
  More actions for workflow run 3473

• build: compile the ordeal crates optimized in the dev profile

  cancelled:
  CI#3472:Pull request#1706synchronizebyavrabe
  ci-coverage-deadline

  Nov 12, 202622m 45s
  More actions for workflow run 3472

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-res…

  failed:
  CI#3471:Commit60170dapushedbyavrabe
  main

  Nov 12, 20263h 21m 9s
  More actions for workflow run 3471

• build: compile the ordeal crates optimized in the dev profile

  cancelled:
  CI#3470:Pull request#1706openedbyavrabe
  ci-coverage-deadline

  Nov 12, 202630m 40s
  More actions for workflow run 3470

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-result call is refused

  failed:
  CI#3469:Pull request#1697synchronizebyavrabe
  v091-mvdrop

  Nov 12, 202626m 26s
  More actions for workflow run 3469

• chore(deps): bump ordeal =0.22.1 -> =0.36.0 and teach synth-verify th…

  failed:
  CI#3468:Commit1757f10pushedbyavrabe
  main

  Nov 11, 20262h 54m 51s
  More actions for workflow run 3468

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-result call is refused

  failed:
  CI#3467:Pull request#1697synchronizebyavrabe
  v091-mvdrop

  Nov 11, 20264h 19m 27s
  More actions for workflow run 3467

• chore(deps): bump ordeal =0.22.1 -> =0.36.0 and teach synth-verify the five 0.28 derived-op nodes

  failed:
  CI#3466:Pull request#1705openedbyavrabe
  v091-ordeal036

  Nov 11, 20262h 7m 40s
  More actions for workflow run 3466

• chore(deps): bump z3 from 0.21.1 to 0.22.0 (z3-sys 0.13.1 -> 0.14.1) …

  failed:
  CI#3465:Commitef9897cpushedbyavrabe
  main

  Nov 11, 20261h 22m 35s
  More actions for workflow run 3465

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-result call is refused

  failed:
  CI#3464:Pull request#1697synchronizebyavrabe
  v091-mvdrop

  Nov 11, 20262h 0m 13s
  More actions for workflow run 3464

• v0.91 COMPEXPORTS (#1191): refuse a WebAssembly component instead of decoding it as one flattened module

  failed:
  CI#3463:Pull request#1687synchronizebyavrabe
  v091-compexports

  Nov 11, 20261h 3m 25s
  More actions for workflow run 3463

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-result call is refused

  failed:
  CI#3462:Pull request#1697synchronizebyavrabe
  v091-mvdrop

  Nov 11, 20262h 27m 41s
  More actions for workflow run 3462

• chore(deps): bump z3 from 0.21.1 to 0.22.0 (z3-sys 0.13.1 -> 0.14.1)

  failed:
  CI#3461:Pull request#1702synchronizebyavrabe
  deps-z3-1692

  Nov 11, 20261h 3m 25s
  More actions for workflow run 3461

• chore(deps): bump the github-actions-all group (taiki-e/install-actio…

  failed:
  CI#3460:Commit58a9c28pushedbyavrabe
  main

  Nov 11, 20262h 15m 41s
  More actions for workflow run 3460

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-result call is refused

  cancelled:
  CI#3459:Pull request#1697synchronizebyavrabe
  v091-mvdrop

  Nov 11, 20261h 44m 38s
  More actions for workflow run 3459

• chore(deps): bump z3 from 0.21.1 to 0.22.0 (z3-sys 0.13.1 -> 0.14.1)

  cancelled:
  CI#3458:Pull request#1702synchronizebyavrabe
  deps-z3-1692

  Nov 11, 20263h 45m 23s
  More actions for workflow run 3458

• chore(deps): bump the github-actions-all group (taiki-e/install-action v2.90.2, sigstore/cosign-installer v4.1.3)

  failed:
  CI#3457:Pull request#1701synchronizebyavrabe
  deps-actions-1648

  Nov 11, 20263h 42m 9s
  More actions for workflow run 3457

• v0.91 NAMECOLL (#1698): a called import whose symbol collides now ref…

  failed:
  CI#3456:Commit6b3d5c2pushedbyavrabe
  main

  Nov 11, 20263h 3m 22s
  More actions for workflow run 3456

• chore(deps): bump z3 from 0.21.1 to 0.22.0 (z3-sys 0.13.1 -> 0.14.1)

  cancelled:
  CI#3455:Pull request#1702openedbyavrabe
  deps-z3-1692

  Nov 11, 20269m 56s
  More actions for workflow run 3455

• chore(deps): bump the github-actions-all group (taiki-e/install-action v2.90.2, sigstore/cosign-installer v4.1.3)

  cancelled:
  CI#3454:Pull request#1701openedbyavrabe
  deps-actions-1648

  Nov 11, 20261h 40m 15s
  More actions for workflow run 3454

• v0.91 NAMECOLL (#1698): a called import whose symbol collides now refuses

  failed:
  CI#3453:Pull request#1700synchronizebyavrabe
  v091-namecoll

  Nov 11, 20262h 41m 53s
  More actions for workflow run 3453

• v0.91 MVDROP: an ARM function returns its wasm stack top; a multi-result call is refused

  cancelled:
  CI#3452:Pull request#1697synchronizebyavrabe
  v091-mvdrop

  Nov 11, 20262h 30m 32s
  More actions for workflow run 3452

• v0.91 MPUENFORCE (#1145): --mpu-layout pads each memory section to a …

  failed:
  CI#3451:Commite871653pushedbyavrabe
  main

  Nov 11, 20262h 43m 3s
  More actions for workflow run 3451