All workflows

Workflow runs

• Run the BaseFold opening as a Libra-masked sumcheck over {0, ∞}^ℓ (#2…

  completed successfully:
  Documentation#1250:Commit19b8f6fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 1, 20261m 0s
  More actions for workflow run 1250

• Run the BaseFold opening as a Libra-masked sumcheck over {0, ∞}^ℓ (#2…

  completed successfully:
  CI#11836:Commit19b8f6fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 1, 20266m 46s
  More actions for workflow run 11836

• CI

  completed successfully:
  CI#11835:Merge group checks requested
  Nov 1, 20269m 44s
  More actions for workflow run 11835

• Run the BaseFold opening as a Libra-masked sumcheck over {0, ∞}^ℓ

  completed successfully:
  CI#11834:Pull request#2523synchronizebybenji-potamus
  aj/binius-703-phase-a-libra-masked-batch-sumcheck-with-a-compiler

  Nov 1, 202610m 5s
  More actions for workflow run 11834

• Run the BaseFold opening as a Libra-masked sumcheck over {0, ∞}^ℓ

  completed successfully:
  CI#11833:Pull request#2523openedbybenji-potamus
  aj/binius-703-phase-a-libra-masked-batch-sumcheck-with-a-compiler

  Oct 30, 202610m 3s
  More actions for workflow run 11833

• Make fold_highest_var generic over the hypercube (#2522)

  completed successfully:
  Documentation#1249:Commitfe81eeepushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20261m 1s
  More actions for workflow run 1249

• Make fold_highest_var generic over the hypercube (#2522)

  completed successfully:
  CI#11832:Commitfe81eeepushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20265m 29s
  More actions for workflow run 11832

• CI

  completed successfully:
  CI#11831:Merge group checks requested
  Oct 30, 202610m 14s
  More actions for workflow run 11831

• Make fold_highest_var generic over the hypercube

  completed successfully:
  CI#11830:Pull request#2522synchronizebybenji-potamus
  aj/binius-707-fold_highest_var-should-be-generic-over-hypercube

  Oct 30, 20267m 44s
  More actions for workflow run 11830

• Make fold_highest_var generic over the hypercube

  cancelled:
  CI#11829:Pull request#2522openedbybenji-potamus
  aj/binius-707-fold_highest_var-should-be-generic-over-hypercube

  Oct 30, 20264m 15s
  More actions for workflow run 11829

• Sumcheck over the infinity hypercube (#2520)

  completed successfully:
  Documentation#1248:Commit292a377pushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20261m 7s
  More actions for workflow run 1248

• Sumcheck over the infinity hypercube (#2520)

  completed successfully:
  CI#11828:Commit292a377pushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20266m 36s
  More actions for workflow run 11828

• CI

  completed successfully:
  CI#11827:Merge group checks requested
  Oct 30, 20269m 33s
  More actions for workflow run 11827

• Sumcheck over the infinity hypercube

  completed successfully:
  CI#11826:Pull request#2520synchronizebybenji-potamus
  aj/binius-702-sumcheck-over-the-infinity-hypercube

  Oct 30, 20269m 47s
  More actions for workflow run 11826

• Move round merging into the BaseFold compilers (#2521)

  completed successfully:
  CI#11825:Commitca91c46pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20266m 26s
  More actions for workflow run 11825

• Move round merging into the BaseFold compilers (#2521)

  completed successfully:
  Documentation#1247:Commitca91c46pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20261m 0s
  More actions for workflow run 1247

• CI

  completed successfully:
  CI#11824:Merge group checks requested
  Oct 29, 20269m 44s
  More actions for workflow run 11824

• Sumcheck over the infinity hypercube

  completed successfully:
  CI#11823:Pull request#2520synchronizebybenji-potamus
  aj/binius-702-sumcheck-over-the-infinity-hypercube

  Oct 29, 20269m 36s
  More actions for workflow run 11823

• Move round merging into the BaseFold compilers

  completed successfully:
  CI#11822:Pull request#2521openedbybenji-potamus
  aj/binius-699-move-round-merging-into-the-basefold-compilers-delete-the

  Oct 29, 20269m 50s
  More actions for workflow run 11822

• Sumcheck over the infinity hypercube

  failed:
  CI#11821:Pull request#2520openedbybenji-potamus
  aj/binius-702-sumcheck-over-the-infinity-hypercube

  Oct 29, 202610m 43s
  More actions for workflow run 11821

• Let one oracle relation span several oracles (#2519)

  completed successfully:
  CI#11820:Commiteed6465pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20266m 30s
  More actions for workflow run 11820

• Let one oracle relation span several oracles (#2519)

  completed successfully:
  Documentation#1246:Commiteed6465pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20261m 11s
  More actions for workflow run 1246

• CI

  completed successfully:
  CI#11819:Merge group checks requested
  Oct 29, 20269m 46s
  More actions for workflow run 11819

• Let one oracle relation span several oracles

  completed successfully:
  CI#11818:Pull request#2519synchronizebybenji-potamus
  aj/binius-698-linear-queries-over-several-oracles-operand-lists-in

  Oct 29, 20268m 31s
  More actions for workflow run 11818

• Bump taiki-e/install-action from 2.87.27 to 2.87.31 in the github-act…

  completed successfully:
  CI#11817:Commitddb2d9bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 28, 20266m 36s
  More actions for workflow run 11817