CI

Workflow runs for CI

• Refine verification doc publication wording

  completed successfully:
  CI#11:Commitfe6ad30pushedbyVanderhell
  master

  Jun 30, 20261m 12s
  More actions for workflow run 11

• Fix install consumer sanitizer propagation

  completed successfully:
  CI#10:Commit857e154pushedbyVanderhell
  master

  Jun 30, 202654s
  More actions for workflow run 10

• Fix install consumer toolchain propagation

  failed:
  CI#9:Commitbaeb0depushedbyVanderhell
  master

  Jun 30, 202646s
  More actions for workflow run 9

• Fix MSVC compile-fail harness

  failed:
  CI#8:Commit83c6ce6pushedbyVanderhell
  master

  Jun 30, 202640s
  More actions for workflow run 8

• Fix ARM CMake cross-compile probe

  failed:
  CI#7:Commit9ccd14cpushedbyVanderhell
  master

  Jun 30, 20261m 2s
  More actions for workflow run 7

• Fix microassert analyzer diagnostics

  failed:
  CI#6:Commit0f4b4dapushedbyVanderhell
  master

  Jun 30, 20261m 9s
  More actions for workflow run 6

• Fix microassert analyzer diagnostics

  failed:
  CI#5:Commit5cae626pushedbyVanderhell
  master

  Jun 30, 202628m 32s
  More actions for workflow run 5

• Fix remaining microassert WSL gates

  failed:
  CI#4:Commit0b2feb1pushedbyVanderhell
  master

  Jun 30, 202642s
  More actions for workflow run 4

• Repair microassert panic contracts and verification gates

  failed:
  CI#3:Commitf1b7198pushedbyVanderhell
  master

  Jun 30, 202640s
  More actions for workflow run 3

• chore: bootstrap microassert repository

  completed successfully:
  CI#2:Commit871846fpushedbyVanderhell
  master

  Mar 21, 20268s
  More actions for workflow run 2

• chore: bootstrap microassert repository

  failed:
  CI#1:Commit5bf7ba2pushedbyVanderhell
  master

  Mar 21, 20268s
  More actions for workflow run 1