CodeQL Advanced

Workflow runs for CodeQL Advanced

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#134:Scheduled
  main

  Nov 13, 202657s
  More actions for workflow run 134

• Merge pull request #29 from BenFrohman/paper/conditional-title-v2.5.0

  completed successfully:
  CodeQL Advanced#133:Commitaa9d28cpushedbyBenFrohman
  main

  Nov 11, 202659s
  More actions for workflow run 133

• Merge pull request #30 from BenFrohman/fix/frohmanian-tether-theorem-…

  completed successfully:
  CodeQL Advanced#132:Commitc0cfb63pushedbyBenFrohman
  main

  Nov 11, 20265m 46s
  More actions for workflow run 132

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#131:Manually runbyBenFrohman
  fix/frohmanian-tether-theorem-vacuous

  Nov 11, 202656s
  More actions for workflow run 131

• frohmanian_tether_theorem is vacuous: prove its hDI hypothesis is unsatisfiable (draft, do not merge)

  queued:
  CodeQL Advanced#130:Pull request#30openedbyBenFrohman
  fix/frohmanian-tether-theorem-vacuous

  Nov 11, 2026Queued
  More actions for workflow run 130

• Paper: conditional title and scope; correct counts; drop 23717084 citation

  completed successfully:
  CodeQL Advanced#129:Pull request#29openedbyBenFrohman
  paper/conditional-title-v2.5.0

  Nov 11, 202656s
  More actions for workflow run 129

• Merge pull request #28 from BenFrohman/metadata/fefferman-theorem-cou…

  completed successfully:
  CodeQL Advanced#128:Commit6c79135pushedbyBenFrohman
  main

  Nov 11, 20261m 3s
  More actions for workflow run 128

• Metadata: cite fefferman-clay-navier-stokes 224-theorem count and v1.4.0 DOI

  completed successfully:
  CodeQL Advanced#127:Pull request#28openedbyBenFrohman
  metadata/fefferman-theorem-count-224

  Nov 11, 202642s
  More actions for workflow run 127

• Merge pull request #27 from BenFrohman/metadata/title-and-theorem-count

  completed successfully:
  CodeQL Advanced#126:Commit565ce81pushedbyBenFrohman
  main

  Nov 11, 202653s
  More actions for workflow run 126

• Metadata: current conditional title; correct fefferman-clay-navier-stokes theorem count

  completed successfully:
  CodeQL Advanced#125:Pull request#27synchronizebyBenFrohman
  metadata/title-and-theorem-count

  Nov 11, 202653s
  More actions for workflow run 125

• Metadata: current conditional title; correct fefferman-clay-navier-stokes theorem count

  completed successfully:
  CodeQL Advanced#124:Pull request#27openedbyBenFrohman
  metadata/title-and-theorem-count

  Nov 11, 202650s
  More actions for workflow run 124

• CITATION.cff: set alias to B.S. Frohman

  completed successfully:
  CodeQL Advanced#123:Commit91a05e9pushedbyBenFrohman
  main

  Nov 11, 202651s
  More actions for workflow run 123

• Merge pull request #26 from BenFrohman/proof/envelope-correction-audit

  completed successfully:
  CodeQL Advanced#122:Commit7530152pushedbyBenFrohman
  main

  Nov 11, 20261m 3s
  More actions for workflow run 122

• Envelope correction: decaying shear as an actual solution; enforced axiom audit

  completed successfully:
  CodeQL Advanced#121:Pull request#26synchronizebyBenFrohman
  proof/envelope-correction-audit

  Nov 10, 202649s
  More actions for workflow run 121

• Envelope correction: decaying shear as an actual solution; enforced axiom audit

  completed successfully:
  CodeQL Advanced#120:Pull request#26synchronizebyBenFrohman
  proof/envelope-correction-audit

  Nov 10, 202642s
  More actions for workflow run 120

• Envelope correction: decaying shear as an actual solution; enforced axiom audit

  completed successfully:
  CodeQL Advanced#119:Pull request#26synchronizebyBenFrohman
  proof/envelope-correction-audit

  Nov 10, 202654s
  More actions for workflow run 119

• Envelope correction: decaying shear as an actual solution; enforced axiom audit

  completed successfully:
  CodeQL Advanced#118:Pull request#26openedbyBenFrohman
  proof/envelope-correction-audit

  Nov 10, 202648s
  More actions for workflow run 118

• Merge pull request #25 from BenFrohman/chore/update-actions-checkout-…

  completed successfully:
  CodeQL Advanced#117:Commit8104c19pushedbyBenFrohman
  main

  Nov 10, 202658s
  More actions for workflow run 117

• ci: bump actions/checkout and actions/setup-node from v4 to v7

  completed successfully:
  CodeQL Advanced#116:Pull request#25openedbyBenFrohman
  chore/update-actions-checkout-and-setup-node

  Nov 10, 202653s
  More actions for workflow run 116

• Merge pull request #24 from BenFrohman/fix/doi-23717084-alignment

  completed successfully:
  CodeQL Advanced#115:Commit4e454abpushedbyBenFrohman
  main

  Nov 9, 20261m 1s
  More actions for workflow run 115

• Align Zenodo DOI 10.5281/zenodo.23717084 provenance

  completed successfully:
  CodeQL Advanced#114:Pull request#24openedbyBenFrohman
  fix/doi-23717084-alignment

  Nov 9, 202650s
  More actions for workflow run 114

• ci(deps): bump actions/checkout from 4 to 7

  completed successfully:
  CodeQL Advanced#113:Pull request#23openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-7

  Nov 9, 202656s
  More actions for workflow run 113

• ci(deps): bump actions/setup-node from 4 to 7

  completed successfully:
  CodeQL Advanced#112:Pull request#22openedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-node-7

  Nov 9, 202647s
  More actions for workflow run 112

• Merge pull request #21 from BenFrohman/fix/exact-vorticity-envelope-a…

  completed successfully:
  CodeQL Advanced#111:Commita5d13c3pushedbyBenFrohman
  main

  Nov 7, 20261m 5s
  More actions for workflow run 111

• Correct vorticity envelope assumptions and add checked comparison lemmas

  completed successfully:
  CodeQL Advanced#110:Pull request#21openedbyBenFrohman
  fix/exact-vorticity-envelope-assumptions

  Nov 7, 202644s
  More actions for workflow run 110