CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• proofs: declare the strict flag set in every module (#46)

  completed successfully:
  CodeQL Security Analysis#111:Commit5422cd5pushedbyhyperpolymath
  main

  Oct 27, 202637s
  More actions for workflow run 111

• proofs: declare the strict flag set in every module

  completed successfully:
  CodeQL Security Analysis#110:Pull request#46openedbyhyperpolymath
  proofs/strict-pragmas

  Oct 27, 202644s
  More actions for workflow run 110

• proofs: make all modules pass the strict flag set (#45)

  completed successfully:
  CodeQL Security Analysis#109:Commit55815f3pushedbyhyperpolymath
  main

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

• proofs: make all modules pass the strict flag set

  completed successfully:
  CodeQL Security Analysis#108:Pull request#45openedbyhyperpolymath
  proofs/strict-flag-fixes

  Oct 26, 202645s
  More actions for workflow run 108

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#107:Scheduled
  main

  Oct 26, 202648s
  More actions for workflow run 107

• docs(secret-types): sync the #32 pointer to its closure and the stand…

  completed successfully:
  CodeQL Security Analysis#106:Commit9a7d21dpushedbyhyperpolymath
  main

  Oct 25, 202646s
  More actions for workflow run 106

• docs(secret-types): sync the #32 pointer to its closure and the standalone proofs

  completed successfully:
  CodeQL Security Analysis#105:Pull request#44synchronizebyhyperpolymath
  arena/713ba5fd-epistemic-types

  Oct 25, 20261m 53s
  More actions for workflow run 105

• docs(secret-types): sync the #32 pointer to its closure and the standalone proofs

  cancelled:
  CodeQL Security Analysis#104:Pull request#44synchronizebyhyperpolymath
  arena/713ba5fd-epistemic-types

  Oct 25, 20261m 1s
  More actions for workflow run 104

• docs(secret-types): sync the #32 pointer to its closure and the standalone proofs

  cancelled:
  CodeQL Security Analysis#103:Pull request#44synchronizebyhyperpolymath
  arena/713ba5fd-epistemic-types

  Oct 25, 20267m 45s
  More actions for workflow run 103

• docs(secret-types): sync the #32 pointer to its closure and the standalone proofs

  completed successfully:
  CodeQL Security Analysis#102:Pull request#44openedbyhyperpolymath
  arena/713ba5fd-epistemic-types

  Oct 25, 202639s
  More actions for workflow run 102

• ci: drop secrets: inherit from the secret scanner (#43)

  completed successfully:
  CodeQL Security Analysis#101:Commitd342333pushedbyhyperpolymath
  main

  Oct 20, 202614m 9s
  More actions for workflow run 101

• ci: drop secrets: inherit from the secret scanner

  completed successfully:
  CodeQL Security Analysis#100:Pull request#43openedbyhyperpolymath
  fix/drop-secrets-inherit

  Oct 19, 202614m 0s
  More actions for workflow run 100

• docs: record the external revision and CI run for E-6 (#41)

  completed successfully:
  CodeQL Security Analysis#99:Commitf341cd6pushedbyhyperpolymath
  main

  Oct 19, 202642s
  More actions for workflow run 99

• docs: record the external revision and CI run for E-6

  completed successfully:
  CodeQL Security Analysis#98:Pull request#41synchronizebyhyperpolymath
  docs/record-e6-external-revision

  Oct 19, 202645s
  More actions for workflow run 98

• ci: repin standards reusables to 75bd5994, record them in actions.loc…

  completed successfully:
  CodeQL Security Analysis#97:Commitec45a6bpushedbyhyperpolymath
  main

  Oct 19, 202642s
  More actions for workflow run 97

• ci: repin standards reusables to 75bd5994, record them in actions.lock

  completed successfully:
  CodeQL Security Analysis#96:Pull request#42openedbyhyperpolymath
  ci/repin-standards-75bd5994

  Oct 19, 202644s
  More actions for workflow run 96

• docs: record the external revision and CI run for E-6

  completed successfully:
  CodeQL Security Analysis#95:Pull request#41synchronizebyhyperpolymath
  docs/record-e6-external-revision

  Oct 19, 202651s
  More actions for workflow run 95

• docs: record the external revision and CI run for E-6

  completed successfully:
  CodeQL Security Analysis#94:Pull request#41openedbyhyperpolymath
  docs/record-e6-external-revision

  Oct 19, 20262m 55s
  More actions for workflow run 94

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#93:Scheduled
  main

  Oct 19, 202642s
  More actions for workflow run 93

• kripke-2026-10-12 (#40)

  completed successfully:
  CodeQL Security Analysis#92:Commit6a68de3pushedbyhyperpolymath
  main

  Oct 12, 202645s
  More actions for workflow run 92

• kripke-2026-10-12

  completed successfully:
  CodeQL Security Analysis#91:Pull request#40synchronizebycoderabbitai[bot]Bot
  kripke-2026-10-12

  Oct 12, 202642s
  More actions for workflow run 91

• kripke-2026-10-12

  completed successfully:
  CodeQL Security Analysis#90:Pull request#40synchronizebycoderabbitai[bot]Bot
  kripke-2026-10-12

  Oct 12, 202645s
  More actions for workflow run 90

• kripke-2026-10-12

  completed successfully:
  CodeQL Security Analysis#89:Pull request#40openedbyhyperpolymath
  kripke-2026-10-12

  Oct 12, 202648s
  More actions for workflow run 89

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#88:Scheduled
  main

  Oct 12, 202649s
  More actions for workflow run 88

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#87:Scheduled
  main

  Oct 5, 202641s
  More actions for workflow run 87