CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

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

  completed successfully:
  CodeQL Security Analysis#734:Commitac1bf63pushedbyhyperpolymath
  main

  Oct 27, 20262m 46s
  More actions for workflow run 734

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

  completed successfully:
  CodeQL Security Analysis#733:Pull request#281synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth-l15c

  Oct 27, 20261m 17s
  More actions for workflow run 733

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

  completed successfully:
  CodeQL Security Analysis#732:Pull request#281openedbyhyperpolymath
  claude/new-session-ywdrth-l15c

  Oct 27, 202649s
  More actions for workflow run 732

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

  completed successfully:
  CodeQL Security Analysis#731:Commit3525213pushedbyhyperpolymath
  main

  Oct 27, 20262m 28s
  More actions for workflow run 731

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

  completed successfully:
  CodeQL Security Analysis#730:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 27, 202656s
  More actions for workflow run 730

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

  completed successfully:
  CodeQL Security Analysis#729:Commit24042ccpushedbyhyperpolymath
  main

  Oct 27, 20261m 23s
  More actions for workflow run 729

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

  completed successfully:
  CodeQL Security Analysis#728:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 202656s
  More actions for workflow run 728

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

  completed successfully:
  CodeQL Security Analysis#727:Pull request#280synchronizebyhyperpolymath
  claude/new-session-ywdrth-kernel-agda-pin

  Oct 26, 202652s
  More actions for workflow run 727

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

  completed successfully:
  CodeQL Security Analysis#726:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 20261m 0s
  More actions for workflow run 726

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

  completed successfully:
  CodeQL Security Analysis#725:Pull request#280synchronizebyhyperpolymath
  claude/new-session-ywdrth-kernel-agda-pin

  Oct 26, 202654s
  More actions for workflow run 725

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

  completed successfully:
  CodeQL Security Analysis#724:Pull request#279synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 20261m 23s
  More actions for workflow run 724

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

  completed successfully:
  CodeQL Security Analysis#723:Pull request#280openedbyhyperpolymath
  claude/new-session-ywdrth-kernel-agda-pin

  Oct 26, 20261m 1s
  More actions for workflow run 723

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

  completed successfully:
  CodeQL Security Analysis#722:Pull request#279synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 26, 20261m 7s
  More actions for workflow run 722

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

  completed successfully:
  CodeQL Security Analysis#721:Pull request#279openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 26, 202652s
  More actions for workflow run 721

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#720:Scheduled
  main

  Oct 26, 20261m 27s
  More actions for workflow run 720

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#719:Scheduled
  main

  Oct 19, 20261m 7s
  More actions for workflow run 719

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

  completed successfully:
  CodeQL Security Analysis#718:Commit415f49apushedbyhyperpolymath
  main

  Oct 17, 20261m 5s
  More actions for workflow run 718

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

  completed successfully:
  CodeQL Security Analysis#717:Pull request#278openedbydependabot[bot]Bot
  dependabot/github_actions/actions-84208128e5

  Oct 17, 202645s
  More actions for workflow run 717

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

  completed successfully:
  CodeQL Security Analysis#716:Commit836d06fpushedbyhyperpolymath
  main

  Oct 14, 20261m 19s
  More actions for workflow run 716

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

  completed successfully:
  CodeQL Security Analysis#715:Pull request#277openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202658s
  More actions for workflow run 715

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

  completed successfully:
  CodeQL Security Analysis#714:Commit9bb4c27pushedbyhyperpolymath
  main

  Oct 14, 20261m 6s
  More actions for workflow run 714

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

  completed successfully:
  CodeQL Security Analysis#713:Pull request#276synchronizebyhyperpolymath
  claude/new-session-ywdrth

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

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

  cancelled:
  CodeQL Security Analysis#712:Pull request#276synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20261m 11s
  More actions for workflow run 712

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

  completed successfully:
  CodeQL Security Analysis#711:Pull request#276openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202644s
  More actions for workflow run 711

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

  completed successfully:
  CodeQL Security Analysis#710:Commit47098dcpushedbyhyperpolymath
  main

  Oct 14, 20262m 28s
  More actions for workflow run 710