Compilation Tests

Workflow runs for Compilation Tests

• Re-audit the assurance boundary; repair the Agda tree so it actually …

  cancelled:
  Compilation Tests#139:Commitce16ce3pushedbyhyperpolymath
  main

  Nov 1, 20261h 1m 43s
  More actions for workflow run 139

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#138:Pull request#221synchronizebyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 20261h 30m 53s
  More actions for workflow run 138

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#137:Pull request#221synchronizebycoderabbitai[bot]Bot
  arena/f0f5fe9a-valence-shell

  Nov 1, 20262h 4m 16s
  More actions for workflow run 137

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#136:Pull request#221synchronizebyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 20261h 37m 38s
  More actions for workflow run 136

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#135:Pull request#221synchronizebyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 20261h 33m 18s
  More actions for workflow run 135

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#134:Pull request#221synchronizebyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 20261h 5m 40s
  More actions for workflow run 134

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#133:Pull request#221synchronizebyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 20261h 0m 27s
  More actions for workflow run 133

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#132:Pull request#221synchronizebyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 202634m 11s
  More actions for workflow run 132

• Re-audit the assurance boundary; repair the Agda tree so it actually compiles

  cancelled:
  Compilation Tests#131:Pull request#221openedbyhyperpolymath
  arena/f0f5fe9a-valence-shell

  Nov 1, 202636m 21s
  More actions for workflow run 131

• chore(deps): bump the actions group with 5 updates (#217)

  cancelled:
  Compilation Tests#130:Commit295c3capushedbyhyperpolymath
  main

  Oct 11, 202631m 26s
  More actions for workflow run 130

• chore(deps): bump the actions group with 5 updates

  cancelled:
  Compilation Tests#129:Pull request#217openedbydependabot[bot]Bot
  dependabot/github_actions/actions-6ba437f696

  Oct 11, 202630m 28s
  More actions for workflow run 129

• Fix/verify preconditions real (#216)

  cancelled:
  Compilation Tests#128:Commit680c929pushedbyhyperpolymath
  main

  Oct 3, 20261h 0m 43s
  More actions for workflow run 128

• Fix/verify preconditions real

  cancelled:
  Compilation Tests#127:Pull request#216synchronizebyhyperpolymath
  fix/verify-preconditions-real

  Oct 3, 202630m 33s
  More actions for workflow run 127

• fix(rust-cli): real Lean precondition checks in verification.rs (P0-5…

  cancelled:
  Compilation Tests#126:Commitc033e9epushedbyhyperpolymath
  main

  Oct 2, 20261h 27m 27s
  More actions for workflow run 126

• fix(rust-cli): real Lean precondition checks in verification.rs (P0-5)

  cancelled:
  Compilation Tests#125:Pull request#215openedbyhyperpolymath
  fix/verify-preconditions-real

  Oct 2, 20261h 13m 50s
  More actions for workflow run 125

• fix(test): model oracle test fails instead of skipping as a pass (P0-…

  cancelled:
  Compilation Tests#124:Commit3440d69pushedbyhyperpolymath
  main

  Oct 2, 20261h 32m 18s
  More actions for workflow run 124

• fix(test): model oracle test fails instead of skipping as a pass (P0-4)

  cancelled:
  Compilation Tests#123:Pull request#214synchronizebyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 20261h 15m 44s
  More actions for workflow run 123

• fix(test): model oracle test fails instead of skipping as a pass (P0-4)

  cancelled:
  Compilation Tests#122:Pull request#214openedbyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 202631m 54s
  More actions for workflow run 122

• fix: close foundational shell and proof-integrity gaps (#193)

  cancelled:
  Compilation Tests#121:Commitb75712epushedbyhyperpolymath
  main

  Aug 24, 20261h 0m 35s
  More actions for workflow run 121

• fix: close foundational shell and proof-integrity gaps

  cancelled:
  Compilation Tests#120:Pull request#193openedbyhyperpolymath
  codex/closure-sprint-20260824

  Aug 24, 202640m 3s
  More actions for workflow run 120

• refactor: migrate Markdown to AsciiDoc (#188)

  cancelled:
  Compilation Tests#119:Commit3ce0417pushedbyhyperpolymath
  main

  Aug 24, 20261h 35m 36s
  More actions for workflow run 119

• refactor: migrate Markdown to AsciiDoc

  cancelled:
  Compilation Tests#118:Pull request#188openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 32m 43s
  More actions for workflow run 118

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

  cancelled:
  Compilation Tests#117:Pull request#181openedbyhyperpolymath
  fix/ci-426-batch13

  Aug 13, 202632m 47s
  More actions for workflow run 117

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

  cancelled:
  Compilation Tests#116:Pull request#180openedbyhyperpolymath
  fix/ci-426-batch12

  Aug 13, 202644m 18s
  More actions for workflow run 116

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

  cancelled:
  Compilation Tests#115:Pull request#179openedbyhyperpolymath
  fix/ci-426-batch11

  Aug 13, 202631m 20s
  More actions for workflow run 115