CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#76:Scheduled
  main

  Apr 27, 20263m 5s
  More actions for workflow run 76

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#75:Scheduled
  main

  Apr 20, 20261m 24s
  More actions for workflow run 75

• chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback

  completed successfully:
  CodeQL Security Analysis#74:Commitc7a84cbpushedbyhyperpolymath
  main

  Apr 17, 20261h 28m 35s
  More actions for workflow run 74

• chore: update lib/rescript.lock after rebuild

  completed successfully:
  CodeQL Security Analysis#73:Commitd5e17ecpushedbyhyperpolymath
  main

  Apr 16, 20261h 11m 46s
  More actions for workflow run 73

• Extract inline styles to external CSS and improve code quality

  completed successfully:
  CodeQL Security Analysis#72:Pull request#2openedbyhyperpolymath
  claude/suggest-improvements-ZiGyN

  Apr 16, 20261h 11m 43s
  More actions for workflow run 72

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  CodeQL Security Analysis#71:Commit8c59f5fpushedbyhyperpolymath
  main

  Apr 16, 20261h 14m 31s
  More actions for workflow run 71

• docs: add post-audit status report for M5 sweep

  completed successfully:
  CodeQL Security Analysis#70:Commitd44e048pushedbyhyperpolymath
  main

  Apr 15, 202631m 44s
  More actions for workflow run 70

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#69:Scheduled
  main

  Apr 13, 20261m 12s
  More actions for workflow run 69

• chore(6a2): commit 6a2 sweep — a2ml drift

  completed successfully:
  CodeQL Security Analysis#68:Commit143f3bepushedbyhyperpolymath
  main

  Apr 11, 20262m 13s
  More actions for workflow run 68

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  completed successfully:
  CodeQL Security Analysis#67:Commit70430afpushedbyhyperpolymath
  main

  Apr 11, 202632m 35s
  More actions for workflow run 67

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#66:Scheduled
  main

  Apr 6, 202659s
  More actions for workflow run 66

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  CodeQL Security Analysis#65:Commit9145c29pushedbyhyperpolymath
  main

  Apr 4, 20265h 29m 53s
  More actions for workflow run 65

• ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks

  completed successfully:
  CodeQL Security Analysis#64:Commitd1dfb46pushedbyhyperpolymath
  main

  Apr 4, 202659m 4s
  More actions for workflow run 64

• docs: add TEST-NEEDS.md (CRG C)

  completed successfully:
  CodeQL Security Analysis#63:Commit2b60476pushedbyhyperpolymath
  main

  Apr 4, 202626m 8s
  More actions for workflow run 63

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#62:Commitd8ae6b3pushedbyhyperpolymath
  main

  Apr 2, 202622m 13s
  More actions for workflow run 62

• Remove template-only ABI files that falsely implied formal verification

  completed successfully:
  CodeQL Security Analysis#61:Commit1fdd978pushedbyhyperpolymath
  main

  Mar 30, 202612m 26s
  More actions for workflow run 61

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#60:Scheduled
  main

  Mar 30, 20261m 26s
  More actions for workflow run 60

• feat: add stapeln.toml container definition

  completed successfully:
  CodeQL Security Analysis#59:Commit9b0b76bpushedbyhyperpolymath
  main

  Mar 29, 20268m 49s
  More actions for workflow run 59

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  completed successfully:
  CodeQL Security Analysis#58:Commit2a0b5f8pushedbyhyperpolymath
  main

  Mar 28, 202613m 41s
  More actions for workflow run 58

• chore: add gitignore, gitattributes, tool-versions

  completed successfully:
  CodeQL Security Analysis#57:Commit47ed81dpushedbyhyperpolymath
  main

  Mar 28, 20262h 0m 46s
  More actions for workflow run 57

• feat: deploy UX Manifesto infrastructure

  completed successfully:
  CodeQL Security Analysis#56:Commit867d03dpushedbyhyperpolymath
  main

  Mar 28, 20261h 33m 52s
  More actions for workflow run 56

• chore: add UX infrastructure (quickstart, doctor, setup)

  completed successfully:
  CodeQL Security Analysis#55:Commit71530bfpushedbyhyperpolymath
  main

  Mar 28, 202636m 8s
  More actions for workflow run 55

• chore: untrack ReScript compiler artifacts (.cmt/.cmti/.cmi)

  completed successfully:
  CodeQL Security Analysis#54:Commitbabc410pushedbyhyperpolymath
  main

  Mar 28, 20261m 30s
  More actions for workflow run 54

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#53:Commit2658139pushedbyhyperpolymath
  main

  Mar 26, 20263m 21s
  More actions for workflow run 53

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#52:Scheduled
  main

  Mar 23, 20261m 8s
  More actions for workflow run 52