All workflows

Workflow runs

• upstream-sync-audit

  completed successfully:
  upstream-sync-audit#18:Scheduled
  main

  Nov 9, 202610s
  More actions for workflow run 18

• upstream-sync-audit

  completed successfully:
  upstream-sync-audit#17:Scheduled
  main

  Nov 2, 202610s
  More actions for workflow run 17

• Tidy research resumption and working-document ownership (#271)

  completed successfully:
  validation#1332:Commitae613bfpushedbyGoGoKo699
  main

  Oct 28, 202652m 55s
  More actions for workflow run 1332

• Tidy research resumption and working-document ownership (#271)

  completed successfully:
  presentation#623:Commitae613bfpushedbyGoGoKo699
  main

  Oct 28, 20269m 53s
  More actions for workflow run 623

• Tidy research resumption and working-document ownership

  completed successfully:
  presentation#622:Pull request#271openedbyGoGoKo699
  tidy/research-continuity-20261029

  Oct 28, 202612m 10s
  More actions for workflow run 622

• Tidy research resumption and working-document ownership

  completed successfully:
  validation#1331:Pull request#271openedbyGoGoKo699
  tidy/research-continuity-20261029

  Oct 28, 202643m 14s
  More actions for workflow run 1331

• Tidy research resumption and working-document ownership

  completed successfully:
  validation#1330:Commit9f8b3b4pushedbyGoGoKo699
  tidy/research-continuity-20261029

  Oct 28, 202652m 48s
  More actions for workflow run 1330

• Pay augmented field recoupling and prove fixed-sector batching limits…

  completed successfully:
  presentation#621:Commit30dc60dpushedbyGoGoKo699
  main

  Oct 28, 202611m 54s
  More actions for workflow run 621

• Pay augmented field recoupling and prove fixed-sector batching limits…

  completed successfully:
  validation#1329:Commit30dc60dpushedbyGoGoKo699
  main

  Oct 28, 202645m 28s
  More actions for workflow run 1329

• Pay augmented field recoupling and prove fixed-sector batching limits

  completed successfully:
  presentation#620:Pull request#270openedbyGoGoKo699
  research/augmented-field-source

  Oct 28, 20269m 23s
  More actions for workflow run 620

• Pay augmented field recoupling and prove fixed-sector batching limits

  completed successfully:
  validation#1328:Pull request#270openedbyGoGoKo699
  research/augmented-field-source

  Oct 28, 202641m 26s
  More actions for workflow run 1328

• Pay augmented field recoupling and prove fixed-sector batching limits

  completed successfully:
  validation#1327:Commit378e23cpushedbyGoGoKo699
  research/augmented-field-source

  Oct 28, 202644m 26s
  More actions for workflow run 1327

• Checkpoint audited coupled decoders, weak-probe bounds, and augmented…

  failed:
  validation#1326:Commit140c774pushedbyGoGoKo699
  research/coupled-probe-continuation

  Oct 28, 202649m 5s
  More actions for workflow run 1326

• Compile a 172-T eight-address field decoder and certify coupled-axis …

  completed successfully:
  validation#1325:Commit5867adcpushedbyGoGoKo699
  main

  Oct 28, 202652m 41s
  More actions for workflow run 1325

• Compile a 172-T eight-address field decoder and certify coupled-axis …

  completed successfully:
  presentation#619:Commit5867adcpushedbyGoGoKo699
  main

  Oct 28, 202610m 26s
  More actions for workflow run 619

• Compile a 172-T eight-address field decoder and certify coupled-axis requirements

  completed successfully:
  validation#1324:Pull request#269openedbyGoGoKo699
  research/coupled-field-decoder

  Oct 28, 202643m 28s
  More actions for workflow run 1324

• Compile a 172-T eight-address field decoder and certify coupled-axis requirements

  completed successfully:
  presentation#618:Pull request#269openedbyGoGoKo699
  research/coupled-field-decoder

  Oct 28, 20268m 18s
  More actions for workflow run 618

• Compile the eight-address field decoder and certify coupled-axis requ…

  completed successfully:
  validation#1323:Commit1d477ddpushedbyGoGoKo699
  research/coupled-field-decoder

  Oct 28, 202651m 28s
  More actions for workflow run 1323

• Build a six-T field decoder and a complete 72-T four-address pilot (#…

  completed successfully:
  validation#1322:Commit156f2cdpushedbyGoGoKo699
  main

  Oct 28, 202651m 35s
  More actions for workflow run 1322

• Build a six-T field decoder and a complete 72-T four-address pilot (#…

  completed successfully:
  presentation#617:Commit156f2cdpushedbyGoGoKo699
  main

  Oct 28, 202610m 38s
  More actions for workflow run 617

• Build a six-T field decoder and a complete 72-T four-address pilot

  completed successfully:
  validation#1321:Pull request#268synchronizebyGoGoKo699
  research/flat-field-decoder

  Oct 28, 202641m 11s
  More actions for workflow run 1321

• Build a six-T field decoder and a complete 72-T four-address pilot

  completed successfully:
  presentation#616:Pull request#268synchronizebyGoGoKo699
  research/flat-field-decoder

  Oct 28, 202611m 27s
  More actions for workflow run 616

• Use HTML-safe inline inequalities in the flat-bank proof

  completed successfully:
  validation#1320:Commitc07ab3apushedbyGoGoKo699
  research/flat-field-decoder

  Oct 28, 202648m 25s
  More actions for workflow run 1320

• Build a six-T field decoder and a complete 72-T four-address pilot

  completed successfully:
  presentation#615:Pull request#268openedbyGoGoKo699
  research/flat-field-decoder

  Oct 28, 202610m 14s
  More actions for workflow run 615

• Build a six-T field decoder and a complete 72-T four-address pilot

  cancelled:
  validation#1319:Pull request#268openedbyGoGoKo699
  research/flat-field-decoder

  Oct 28, 202636m 33s
  More actions for workflow run 1319