CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Auto-commit: Sync changes [2026-02-21]

  completed successfully:
  CodeQL Security Analysis#20:Commit180be39pushedbyhyperpolymath
  main

  Feb 22, 202610m 1s
  More actions for workflow run 20

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#19:Scheduled
  main

  Feb 16, 20261m 8s
  More actions for workflow run 19

• chore: remove crash capture artifacts, update .gitignore

  completed successfully:
  CodeQL Security Analysis#18:Commit9c7ac77pushedbyhyperpolymath
  main

  Feb 13, 202619m 4s
  More actions for workflow run 18

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#17:Scheduled
  main

  Feb 9, 20261m 54s
  More actions for workflow run 17

• fix: remove duplicate SCM files from root

  completed successfully:
  CodeQL Security Analysis#16:Commit9a2a708pushedbyhyperpolymath
  main

  Feb 7, 20262h 9m 3s
  More actions for workflow run 16

• general update

  completed successfully:
  CodeQL Security Analysis#15:Commit6ec46a1pushedbyhyperpolymath
  main

  Feb 4, 20264h 39m 24s
  More actions for workflow run 15

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#14:Scheduled
  main

  Feb 2, 20261m 10s
  More actions for workflow run 14

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#13:Scheduled
  main

  Jan 26, 20261m 8s
  More actions for workflow run 13

• chore: fix license headers to PMPL-1.0-or-later

  completed successfully:
  CodeQL Security Analysis#12:Commitcd6420epushedbyhyperpolymath
  main

  Jan 22, 20261h 54m 39s
  More actions for workflow run 12

• chore: commit local changes for sync

  completed successfully:
  CodeQL Security Analysis#11:Commitf4d3d50pushedbyhyperpolymath
  main

  Jan 22, 202628m 27s
  More actions for workflow run 11

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#10:Scheduled
  main

  Jan 19, 20261m 56s
  More actions for workflow run 10

• feat: add web widget, form enhancer, userscript, and VSCode extension

  completed successfully:
  CodeQL Security Analysis#9:Commit8ae769epushedbyhyperpolymath
  main

  Jan 16, 20261m 34s
  More actions for workflow run 9

• feat: integrate proven library with Idris Inside badge

  failed:
  CodeQL Security Analysis#8:Commitb3b6c90pushedbyhyperpolymath
  main

  Jan 16, 20261m 8s
  More actions for workflow run 8

• Create EmptyLinter.res

  failed:
  CodeQL Security Analysis#7:Commiteb6000bpushedbyhyperpolymath
  main

  Jan 14, 20261m 5s
  More actions for workflow run 7

• Update Justfile

  failed:
  CodeQL Security Analysis#6:Commit46bf580pushedbyhyperpolymath
  main

  Jan 14, 20261m 11s
  More actions for workflow run 6

• Update Justfile

  failed:
  CodeQL Security Analysis#5:Commit1180d39pushedbyhyperpolymath
  main

  Jan 14, 20261m 6s
  More actions for workflow run 5

• Create config.ncl

  failed:
  CodeQL Security Analysis#4:Commit071e025pushedbyhyperpolymath
  main

  Jan 14, 20261m 3s
  More actions for workflow run 4

• Update README.adoc

  failed:
  CodeQL Security Analysis#3:Commitbe49590pushedbyhyperpolymath
  main

  Jan 14, 20261m 4s
  More actions for workflow run 3

• Update README.adoc

  failed:
  CodeQL Security Analysis#2:Commit11279f9pushedbyhyperpolymath
  main

  Jan 14, 20261m 11s
  More actions for workflow run 2

• Initial commit

  failed:
  CodeQL Security Analysis#1:Commita3f19ffpushedbyhyperpolymath
  main

  Jan 13, 20261m 6s
  More actions for workflow run 1