CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(deps): bump eframe from 0.27.2 to 0.34.1

  failed:
  CodeQL Security Analysis#108:Pull request#10synchronizebydependabot[bot]Bot
  dependabot/cargo/eframe-0.34.1

  Apr 1, 202616s
  More actions for workflow run 108

• chore(deps): bump ureq from 2.12.1 to 3.3.0 (#11)

  failed:
  CodeQL Security Analysis#107:Commit7a52367pushedbyhyperpolymath
  main

  Apr 1, 202629s
  More actions for workflow run 107

• chore(deps): bump ureq from 2.12.1 to 3.3.0

  failed:
  CodeQL Security Analysis#106:Pull request#11synchronizebyhyperpolymath
  dependabot/cargo/ureq-3.3.0

  Apr 1, 202618s
  More actions for workflow run 106

• chore(deps): bump sha2 from 0.10.9 to 0.11.0 (#12)

  failed:
  CodeQL Security Analysis#105:Commitc12fd89pushedbyhyperpolymath
  main

  Apr 1, 202615s
  More actions for workflow run 105

• chore(deps): bump criterion from 0.5.1 to 0.8.2 (#13)

  failed:
  CodeQL Security Analysis#104:Commitcb08363pushedbyhyperpolymath
  main

  Apr 1, 20266s
  More actions for workflow run 104

• feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud…

  failed:
  CodeQL Security Analysis#103:Commit349e4bapushedbyhyperpolymath
  main

  Mar 30, 202619m 6s
  More actions for workflow run 103

• ci: add readiness grade tests and benchmarks to E2E workflow

  failed:
  CodeQL Security Analysis#102:Commitb160711pushedbyhyperpolymath
  main

  Mar 30, 20261m 27s
  More actions for workflow run 102

• ci: add E2E workflow for VeriSimDB integration and scan pipeline

  failed:
  CodeQL Security Analysis#101:Commit75779b9pushedbyhyperpolymath
  main

  Mar 30, 202611s
  More actions for workflow run 101

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#100:Scheduled
  main

  Mar 30, 20261m 0s
  More actions for workflow run 100

• feat: migrate blackbox_stress from Python to Julia

  failed:
  CodeQL Security Analysis#99:Commitaf959bbpushedbyhyperpolymath
  main

  Mar 29, 20268m 15s
  More actions for workflow run 99

• chore: add ROADMAP.adoc with project-specific title

  failed:
  CodeQL Security Analysis#98:Commit47183edpushedbyhyperpolymath
  main

  Mar 29, 202616m 57s
  More actions for workflow run 98

• feat: add stapeln.toml container definition

  failed:
  CodeQL Security Analysis#97:Commit4ebc930pushedbyhyperpolymath
  main

  Mar 29, 202629m 23s
  More actions for workflow run 97

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

  failed:
  CodeQL Security Analysis#96:Commit8a54ad5pushedbyhyperpolymath
  main

  Mar 29, 202630m 53s
  More actions for workflow run 96

• chore(deps): bump criterion from 0.5.1 to 0.8.2

  failed:
  CodeQL Security Analysis#95:Pull request#13openedbydependabot[bot]Bot
  dependabot/cargo/criterion-0.8.2

  Mar 28, 202634s
  More actions for workflow run 95

• chore(deps): bump sha2 from 0.10.9 to 0.11.0

  failed:
  CodeQL Security Analysis#94:Pull request#12openedbydependabot[bot]Bot
  dependabot/cargo/sha2-0.11.0

  Mar 28, 202638s
  More actions for workflow run 94

• chore(deps): bump ureq from 2.12.1 to 3.3.0

  failed:
  CodeQL Security Analysis#93:Pull request#11openedbydependabot[bot]Bot
  dependabot/cargo/ureq-3.3.0

  Mar 28, 20269s
  More actions for workflow run 93

• chore(deps): bump eframe from 0.27.2 to 0.34.1

  failed:
  CodeQL Security Analysis#92:Pull request#10openedbydependabot[bot]Bot
  dependabot/cargo/eframe-0.34.1

  Mar 28, 202612s
  More actions for workflow run 92

• chore(deps): bump the rust-minor group with 6 updates

  failed:
  CodeQL Security Analysis#91:Pull request#9openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-a6380bc905

  Mar 28, 20267s
  More actions for workflow run 91

• chore: gitignore .tool-versions (asdf)

  failed:
  CodeQL Security Analysis#90:Commitcb45defpushedbyhyperpolymath
  main

  Mar 28, 20261h 54m 51s
  More actions for workflow run 90

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

  failed:
  CodeQL Security Analysis#89:Commit3a87421pushedbyhyperpolymath
  main

  Mar 28, 202658m 44s
  More actions for workflow run 89

• feat: add V-lang API for static analysis client

  failed:
  CodeQL Security Analysis#88:Commit925482fpushedbyhyperpolymath
  main

  Mar 28, 20268s
  More actions for workflow run 88

• feat: add Idris2 ABI types and Zig FFI bridge

  failed:
  CodeQL Security Analysis#87:Commit6a63f76pushedbyhyperpolymath
  main

  Mar 28, 202632s
  More actions for workflow run 87

• feat: add Groove discovery manifest

  failed:
  CodeQL Security Analysis#86:Commit3cfd7d9pushedbyhyperpolymath
  main

  Mar 28, 20261m 47s
  More actions for workflow run 86

• feat: add Groove protocol support

  failed:
  CodeQL Security Analysis#85:Commit263c494pushedbyhyperpolymath
  main

  Mar 28, 20268s
  More actions for workflow run 85

• Delete ROADMAP.md

  failed:
  CodeQL Security Analysis#84:Commit13df54bpushedbyhyperpolymath
  main

  Mar 27, 202611s
  More actions for workflow run 84