CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE)

  completed successfully:
  CodeQL Security Analysis#5:Commit68a65ccpushedbyhyperpolymath
  main

  Mar 11, 202628m 32s
  More actions for workflow run 5

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#4:Scheduled
  main

  Mar 9, 202647s
  More actions for workflow run 4

• Auto-commit: Sync changes [2026-03-05]

  completed successfully:
  CodeQL Security Analysis#3:Commit81cf6capushedbyhyperpolymath
  main

  Mar 5, 20265m 41s
  More actions for workflow run 3

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#2:Scheduled
  main

  Mar 2, 202642s
  More actions for workflow run 2

• Initial commit: Typell — PanLL's verification kernel

  completed successfully:
  CodeQL Security Analysis#1:Commit39ed242pushedbyhyperpolymath
  main

  Mar 1, 202646s
  More actions for workflow run 1