GPU Tests (merge queue)

Workflow runs for GPU Tests (merge queue)

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1210:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 25, 20261s
  More actions for workflow run 1210

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1209:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 25, 20261s
  More actions for workflow run 1209

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1208:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 25, 20261s
  More actions for workflow run 1208

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1207:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 25, 20261s
  More actions for workflow run 1207

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1206:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 25, 2026Skipped
  More actions for workflow run 1206

• GPU Tests (merge queue)

  completed successfully:
  GPU Tests (merge queue)#1205:Merge group checks requested
  Oct 23, 202616m 15s
  More actions for workflow run 1205

• Fix: pin final PC to halt

  skipped:
  GPU Tests (merge queue)#1204:Pull request#1020synchronizebyMauroToscano
  fix/halt-final-pc-token

  Oct 23, 20267s
  More actions for workflow run 1204

• GPU Tests (merge queue)

  completed successfully:
  GPU Tests (merge queue)#1203:Merge group checks requested
  Oct 23, 202617m 35s
  More actions for workflow run 1203

• Feat/is whh

  skipped:
  GPU Tests (merge queue)#1202:Pull request#1022synchronizebyMauroToscano
  feat/is-whh

  Oct 23, 20262s
  More actions for workflow run 1202

• Feat/is whh

  skipped:
  GPU Tests (merge queue)#1201:Pull request#1022synchronizebyMauroToscano
  feat/is-whh

  Oct 23, 20261s
  More actions for workflow run 1201

• GPU Tests (merge queue)

  completed successfully:
  GPU Tests (merge queue)#1200:Merge group checks requested
  Oct 23, 20269m 31s
  More actions for workflow run 1200

• Fix: Constrain table multiplicities

  skipped:
  GPU Tests (merge queue)#1199:Pull request#1016synchronizebyMauroToscano
  fix/multiplicity-soundness

  Oct 23, 20261s
  More actions for workflow run 1199

• GPU Tests (merge queue)

  completed successfully:
  GPU Tests (merge queue)#1198:Merge group checks requested
  Oct 23, 202632m 38s
  More actions for workflow run 1198

• Unify memcpy, memmove, memset and commit on one accelerator

  skipped:
  GPU Tests (merge queue)#1197:Pull request#984synchronizebyMauroToscano
  exp/memmove-literal

  Oct 23, 202610s
  More actions for workflow run 1197

• Unify memcpy, memmove, memset and commit on one accelerator

  skipped:
  GPU Tests (merge queue)#1196:Pull request#984synchronizebyMauroToscano
  exp/memmove-literal

  Oct 23, 202610s
  More actions for workflow run 1196

• Correct comments and test data left stale by the COPY unification

  skipped:
  GPU Tests (merge queue)#1195:Pull request#1028synchronizebyMauroToscano
  fix/copy-stale-comments

  Oct 23, 20269s
  More actions for workflow run 1195

• Correct comments and test data left stale by the COPY unification

  skipped:
  GPU Tests (merge queue)#1194:Pull request#1028openedbyMauroToscano
  fix/copy-stale-comments

  Oct 23, 20261s
  More actions for workflow run 1194

• Unify memcpy, memmove, memset and commit on one accelerator

  skipped:
  GPU Tests (merge queue)#1193:Pull request#984synchronizebynicole-graus
  exp/memmove-literal

  Oct 23, 20262s
  More actions for workflow run 1193

• Unify memcpy, memmove, memset and commit on one accelerator

  skipped:
  GPU Tests (merge queue)#1192:Pull request#984synchronizebynicole-graus
  exp/memmove-literal

  Oct 23, 20261s
  More actions for workflow run 1192

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1191:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 23, 20261s
  More actions for workflow run 1191

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1190:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 22, 202610s
  More actions for workflow run 1190

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  skipped:
  GPU Tests (merge queue)#1189:Pull request#1027openedbyColoCarletti
  formal/clean-model

  Oct 22, 202612m 49s
  More actions for workflow run 1189

• Extend split-recursion to multiple proof systems

  skipped:
  GPU Tests (merge queue)#1188:Pull request#1018synchronizebyRobinJadoul
  spec/split-recursion

  Oct 22, 20262m 56s
  More actions for workflow run 1188

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1187:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 22, 20261s
  More actions for workflow run 1187

• Field vm/3mi whir

  skipped:
  GPU Tests (merge queue)#1186:Pull request#1026openedbyjotabulacios
  field-vm/3mi-whir

  Oct 21, 20268s
  More actions for workflow run 1186