CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: rename justfile to Justfile for consistency

  completed successfully:
  CodeQL Security Analysis#73:Commitcfafb77pushedbyhyperpolymath
  main

  Jan 8, 202621m 55s
  More actions for workflow run 73

• Remove CHANGELOG.md (converted to CHANGELOG.adoc)

  completed successfully:
  CodeQL Security Analysis#72:Commite7b943epushedbyhyperpolymath
  main

  Jan 8, 20261h 33m 39s
  More actions for workflow run 72

• Convert CHANGELOG.md to AsciiDoc

  completed successfully:
  CodeQL Security Analysis#71:Commit3827c91pushedbyhyperpolymath
  main

  Jan 8, 20261h 33m 46s
  More actions for workflow run 71

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

  completed successfully:
  CodeQL Security Analysis#70:Commit8c1be7apushedbyhyperpolymath
  main

  Jan 8, 202630m 27s
  More actions for workflow run 70

• Add MAINTAINERS.adoc

  completed successfully:
  CodeQL Security Analysis#69:Commita6de2a8pushedbyhyperpolymath
  main

  Jan 8, 202656m 35s
  More actions for workflow run 69

• policy: ban Python completely (no exceptions)

  completed successfully:
  CodeQL Security Analysis#68:Commit966ffedpushedbyhyperpolymath
  main

  Jan 5, 202619m 13s
  More actions for workflow run 68

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#67:Scheduled
  main

  Jan 5, 20265m 10s
  More actions for workflow run 67

• Update licensing to MPL-2.0 + Palimpsest

  completed successfully:
  CodeQL Security Analysis#66:Commit9c4e316pushedbyhyperpolymath
  main

  Jan 3, 20262h 7m 22s
  More actions for workflow run 66

• Standardize repo structure (hyperpolymath/mustfile pattern)

  completed successfully:
  CodeQL Security Analysis#65:Commit97ece95pushedbyhyperpolymath
  main

  Jan 3, 202656m 40s
  More actions for workflow run 65

• chore: update mirror workflow for multi-forge sync

  completed successfully:
  CodeQL Security Analysis#64:Commit34f9370pushedbyhyperpolymath
  main

  Dec 31, 202544m 39s
  More actions for workflow run 64

• chore: update mirror workflow for multi-forge sync

  completed successfully:
  CodeQL Security Analysis#63:Commit6b3dfc2pushedbyhyperpolymath
  main

  Dec 31, 202545m 28s
  More actions for workflow run 63

• Add scorecard-enforcer.yml prevention workflow

  completed successfully:
  CodeQL Security Analysis#62:Commit159becdpushedbyhyperpolymath
  main

  Dec 29, 20251h 14m 32s
  More actions for workflow run 62

• Add secret-scanner.yml prevention workflow

  completed successfully:
  CodeQL Security Analysis#61:Commit03201a8pushedbyhyperpolymath
  main

  Dec 29, 20251h 14m 23s
  More actions for workflow run 61

• Add security rule learning module for cicd-hyper-a integration

  completed successfully:
  CodeQL Security Analysis#60:Commit3452a03pushedbyhyperpolymath
  main

  Dec 29, 20255m 3s
  More actions for workflow run 60

• chore: explicitly specify -f Containerfile in workflow

  completed successfully:
  CodeQL Security Analysis#59:Commit03fedd9pushedbyhyperpolymath
  main

  Dec 29, 20254m 57s
  More actions for workflow run 59

• chore: remove old Dockerfile (using Containerfile)

  completed successfully:
  CodeQL Security Analysis#58:Commit2e731f5pushedbyhyperpolymath
  main

  Dec 29, 20254m 48s
  More actions for workflow run 58

• Use Rust 1.85 for edition2024 support

  completed successfully:
  CodeQL Security Analysis#57:Commitfb4d0f6pushedbyhyperpolymath
  main

  Dec 29, 20254m 52s
  More actions for workflow run 57

• Copy benches dir and build only binary

  completed successfully:
  CodeQL Security Analysis#56:Commitf3fa529pushedbyhyperpolymath
  main

  Dec 29, 20254m 44s
  More actions for workflow run 56

• Start buildkitd daemon for nerdctl build

  completed successfully:
  CodeQL Security Analysis#55:Commitc695e53pushedbyhyperpolymath
  main

  Dec 29, 20254m 56s
  More actions for workflow run 55

• Fix nerdctl version (use 2.2.1 full package)

  completed successfully:
  CodeQL Security Analysis#54:Commit81a51e7pushedbyhyperpolymath
  main

  Dec 29, 20255m 18s
  More actions for workflow run 54

• Fix Dockerfile deps and switch to nerdctl

  completed successfully:
  CodeQL Security Analysis#53:Commitf9757a9pushedbyhyperpolymath
  main

  Dec 29, 20255m 13s
  More actions for workflow run 53

• Add Dockerfile and GHCR publishing workflow

  completed successfully:
  CodeQL Security Analysis#52:Commitc973505pushedbyhyperpolymath
  main

  Dec 29, 20255m 17s
  More actions for workflow run 52

• Fix build errors: actor system, prover traits, and test compilation

  completed successfully:
  CodeQL Security Analysis#51:Commit8a8d721pushedbyhyperpolymath
  main

  Dec 29, 20254m 52s
  More actions for workflow run 51

• Remove obsolete TS_CONVERSION_NEEDED.md (migration complete)

  completed successfully:
  CodeQL Security Analysis#50:Commit2d80957pushedbyhyperpolymath
  main

  Dec 29, 20255m 20s
  More actions for workflow run 50

• Add license badges to README

  completed successfully:
  CodeQL Security Analysis#49:Commit77100e8pushedbyhyperpolymath
  main

  Dec 29, 202530m 39s
  More actions for workflow run 49