E2E Validation

Workflow runs for E2E Validation

• chore(deps): bump the actions group with 2 updates (#282)

  completed successfully:
  E2E Validation#667:Commite613ff3pushedbyhyperpolymath
  main

  Oct 31, 202637s
  More actions for workflow run 667

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

  completed successfully:
  E2E Validation#666:Pull request#282openedbydependabot[bot]Bot
  dependabot/github_actions/actions-791130a8e2

  Oct 31, 202630s
  More actions for workflow run 666

• feat(codegen): L15-C at the front-end: a caller's caps contain its ca…

  completed successfully:
  E2E Validation#665:Commitac1bf63pushedbyhyperpolymath
  main

  Oct 27, 20264m 44s
  More actions for workflow run 665

• feat(codegen): L15-C at the front-end: a caller's caps contain its callee's

  completed successfully:
  E2E Validation#664:Pull request#281synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth-l15c

  Oct 27, 20266m 59s
  More actions for workflow run 664

• feat(codegen): L15-C at the front-end: a caller's caps contain its callee's

  completed successfully:
  E2E Validation#663:Pull request#281openedbyhyperpolymath
  claude/new-session-ywdrth-l15c

  Oct 27, 202649s
  More actions for workflow run 663

• feat(abi): certificates whose level is their witnesses (ProgressiveW)…

  completed successfully:
  E2E Validation#662:Commit3525213pushedbyhyperpolymath
  main

  Oct 27, 20261m 39s
  More actions for workflow run 662

• feat(abi): certificates whose level is their witnesses (ProgressiveW)

  completed successfully:
  E2E Validation#661:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 27, 202635s
  More actions for workflow run 661

• ci(kernel-proofs): pin the runner and require Agda 2.6.3 (#280)

  completed successfully:
  E2E Validation#660:Commit24042ccpushedbyhyperpolymath
  main

  Oct 27, 202637s
  More actions for workflow run 660

• feat(abi): certificates whose level is their witnesses (ProgressiveW)

  completed successfully:
  E2E Validation#659:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 202636s
  More actions for workflow run 659

• ci(kernel-proofs): pin the runner and require Agda 2.6.3

  completed successfully:
  E2E Validation#658:Pull request#280synchronizebyhyperpolymath
  claude/new-session-ywdrth-kernel-agda-pin

  Oct 26, 202635s
  More actions for workflow run 658

• feat(abi): certificates whose level is their witnesses (ProgressiveW)

  completed successfully:
  E2E Validation#657:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 202639s
  More actions for workflow run 657

• ci(kernel-proofs): pin the runner and require Agda 2.6.3

  completed successfully:
  E2E Validation#656:Pull request#280synchronizebyhyperpolymath
  claude/new-session-ywdrth-kernel-agda-pin

  Oct 26, 202627s
  More actions for workflow run 656

• feat(abi): certificates whose level is their witnesses (ProgressiveW)

  completed successfully:
  E2E Validation#655:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 202636s
  More actions for workflow run 655

• ci(kernel-proofs): pin the runner and require Agda 2.6.3

  completed successfully:
  E2E Validation#654:Pull request#280openedbyhyperpolymath
  claude/new-session-ywdrth-kernel-agda-pin

  Oct 26, 202639s
  More actions for workflow run 654

• feat(abi): certificates whose level is their witnesses (ProgressiveW)

  completed successfully:
  E2E Validation#653:Pull request#279synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 26, 202643s
  More actions for workflow run 653

• feat(abi): certificates whose level is their witnesses (ProgressiveW)

  completed successfully:
  E2E Validation#652:Pull request#279openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 202640s
  More actions for workflow run 652

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

  completed successfully:
  E2E Validation#651:Commit415f49apushedbyhyperpolymath
  main

  Oct 17, 202637s
  More actions for workflow run 651

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

  completed successfully:
  E2E Validation#650:Pull request#278openedbydependabot[bot]Bot
  dependabot/github_actions/actions-84208128e5

  Oct 17, 202634s
  More actions for workflow run 650

• fix: pin occupancy-types at its merge commit 8f09c0b (#277)

  completed successfully:
  E2E Validation#649:Commit836d06fpushedbyhyperpolymath
  main

  Oct 14, 202640s
  More actions for workflow run 649

• fix: pin occupancy-types at its merge commit 8f09c0b

  completed successfully:
  E2E Validation#648:Pull request#277openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202630s
  More actions for workflow run 648

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence (#276)

  completed successfully:
  E2E Validation#647:Commit9bb4c27pushedbyhyperpolymath
  main

  Oct 14, 202639s
  More actions for workflow run 647

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence

  completed successfully:
  E2E Validation#646:Pull request#276synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202655s
  More actions for workflow run 646

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence

  cancelled:
  E2E Validation#645:Pull request#276synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202639s
  More actions for workflow run 645

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence

  completed successfully:
  E2E Validation#644:Pull request#276openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202634s
  More actions for workflow run 644

• fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation;…

  completed successfully:
  E2E Validation#643:Commit47098dcpushedbyhyperpolymath
  main

  Oct 14, 20262m 12s
  More actions for workflow run 643