CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: commit local changes for sync

  failed:
  CodeQL Security Analysis#87:Commite4932eapushedbyhyperpolymath
  main

  Jan 22, 202624m 26s
  More actions for workflow run 87

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#86:Scheduled
  main

  Jan 19, 20261m 0s
  More actions for workflow run 86

• Make build-proven executable

  failed:
  CodeQL Security Analysis#85:Commit77d15f0pushedbyhyperpolymath
  main

  Jan 17, 202650s
  More actions for workflow run 85

• Integrate proven library and update docs

  failed:
  CodeQL Security Analysis#84:Commitd801272pushedbyhyperpolymath
  main

  Jan 17, 202652s
  More actions for workflow run 84

• Align wasm copy, polish warnings, update docs

  failed:
  CodeQL Security Analysis#83:Commitf17e65dpushedbyhyperpolymath
  main

  Jan 17, 202648s
  More actions for workflow run 83

• Lock syntax and update roadmap/state

  failed:
  CodeQL Security Analysis#82:Commit5e6580epushedbyhyperpolymath
  main

  Jan 17, 202638s
  More actions for workflow run 82

• Pin smoke CI image and tool versions

  failed:
  CodeQL Security Analysis#81:Commitee1ae70pushedbyhyperpolymath
  main

  Jan 17, 202642s
  More actions for workflow run 81

• Add smoke badge and cache CI

  failed:
  CodeQL Security Analysis#80:Commit0a3b3dbpushedbyhyperpolymath
  main

  Jan 17, 202646s
  More actions for workflow run 80

• Enforce let! linear bindings and add CI smoke

  failed:
  CodeQL Security Analysis#79:Commite258803pushedbyhyperpolymath
  main

  Jan 17, 202639s
  More actions for workflow run 79

• Add let! parsing and smoke test

  failed:
  CodeQL Security Analysis#78:Commit39b0426pushedbyhyperpolymath
  main

  Jan 17, 202647s
  More actions for workflow run 78

• Update hello example with statement delimiters

  failed:
  CodeQL Security Analysis#77:Commit4a7eb12pushedbyhyperpolymath
  main

  Jan 17, 202657s
  More actions for workflow run 77

• Add block syntax, semicolons, and Zig cache config

  failed:
  CodeQL Security Analysis#76:Commitf63bc47pushedbyhyperpolymath
  main

  Jan 17, 202652s
  More actions for workflow run 76

• Handle // comments and lowercase base types

  failed:
  CodeQL Security Analysis#75:Commita39a07apushedbyhyperpolymath
  main

  Jan 17, 202650s
  More actions for workflow run 75

• Use refc Zig flags in Idris2 scripts

  failed:
  CodeQL Security Analysis#74:Commit9c5d78bpushedbyhyperpolymath
  main

  Jan 17, 202655s
  More actions for workflow run 74

• Add Idris2 affine stage and Zig token buffer

  failed:
  CodeQL Security Analysis#73:Commit771e216pushedbyhyperpolymath
  main

  Jan 17, 202653s
  More actions for workflow run 73

• Add STATE.scm project tracking

  failed:
  CodeQL Security Analysis#72:Commit133c60apushedbyhyperpolymath
  main

  Jan 17, 202649s
  More actions for workflow run 72

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#71:Scheduled
  main

  Jan 12, 202619s
  More actions for workflow run 71

• Normalize license badge

  failed:
  CodeQL Security Analysis#70:Commit204ab33pushedbyhyperpolymath
  main

  Jan 10, 202651m 43s
  More actions for workflow run 70

• Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc)

  failed:
  CodeQL Security Analysis#69:Commit6eaed33pushedbyhyperpolymath
  main

  Jan 8, 202636m 24s
  More actions for workflow run 69

• Add MAINTAINERS.adoc

  failed:
  CodeQL Security Analysis#68:Commit1416efapushedbyhyperpolymath
  main

  Jan 8, 202643m 18s
  More actions for workflow run 68

• refactor(parser): replace chumsky with pest PEG parser

  failed:
  CodeQL Security Analysis#67:Commitda94e02pushedbyhyperpolymath
  main

  Jan 5, 202629m 38s
  More actions for workflow run 67

• policy: ban Python completely (no exceptions)

  failed:
  CodeQL Security Analysis#66:Commite8fbf83pushedbyhyperpolymath
  main

  Jan 5, 202640s
  More actions for workflow run 66

• fix(typing): add type_check alias for REPL compatibility

  failed:
  CodeQL Security Analysis#65:Commit69abf7bpushedbyhyperpolymath
  main

  Jan 5, 202627s
  More actions for workflow run 65

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#64:Scheduled
  main

  Jan 5, 202620s
  More actions for workflow run 64

• fix(parser): update ariadne Report::build to 0.4.1 API

  failed:
  CodeQL Security Analysis#63:Commit79583b5pushedbyhyperpolymath
  main

  Jan 5, 202628s
  More actions for workflow run 63