All workflows

Workflow runs

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  failed:
  .github/workflows/secret-scanner.yml#99:Pull request#38byhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 2026Failure
  More actions for workflow run 99

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  Central Estate CI/CD Audit#63:Pull request#38openedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 20261m 25s
  More actions for workflow run 63

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  failed:
  Agda proofs#56:Pull request#38openedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 20262m 15s
  More actions for workflow run 56

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  CodeQL Advanced#30:Pull request#38openedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 20263m 22s
  More actions for workflow run 30

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  Documentation Integrity#122:Pull request#38openedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 202630s
  More actions for workflow run 122

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  failed:
  .github/workflows/scorecard.yml#88:Pull request#38byhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 2026Failure
  More actions for workflow run 88

• Toolchain audit, epistemic-types integration plan, estate prompts

  completed successfully:
  Documentation Integrity#121:Commit878f8fdpushedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 20267s
  More actions for workflow run 121

• K-CUT theorem family audit and grade-3 alignment

  completed successfully:
  Documentation Integrity#120:Commit0610f84pushedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 202613s
  More actions for workflow run 120

• Add individual ledger tags to GS definitions

  completed successfully:
  Documentation Integrity#119:Commitda127bapushedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 20267s
  More actions for workflow run 119

• Labels

  completed successfully:
  Labels#9:Scheduled
  main

  Nov 1, 20269s
  More actions for workflow run 9

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#87:Scheduled
  main

  Nov 1, 2026Failure
  More actions for workflow run 87

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#86:Scheduled
  main

  Oct 31, 2026Failure
  More actions for workflow run 86

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#85:Scheduled
  main

  Oct 30, 2026Failure
  More actions for workflow run 85

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#84:Scheduled
  main

  Oct 29, 2026Failure
  More actions for workflow run 84

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#29:Scheduled
  main

  Oct 28, 20261m 13s
  More actions for workflow run 29

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#83:Scheduled
  main

  Oct 28, 2026Failure
  More actions for workflow run 83

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#82:Scheduled
  main

  Oct 27, 2026Failure
  More actions for workflow run 82

• CI: re-sync the label workflows to the template (github.token) (#37)

  completed successfully:
  Central Estate CI/CD Audit#62:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 202639s
  More actions for workflow run 62

• CI: re-sync the label workflows to the template (github.token) (#37)

  completed successfully:
  Documentation Integrity#118:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 20268s
  More actions for workflow run 118

• CI: re-sync the label workflows to the template (github.token) (#37)

  completed successfully:
  Agda proofs#55:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 20261m 32s
  More actions for workflow run 55

• CI: re-sync the label workflows to the template (github.token) (#37)

  failed:
  .github/workflows/secret-scanner.yml#98:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 2026-1s
  More actions for workflow run 98

• CI: re-sync the label workflows to the template (github.token) (#37)

  completed successfully:
  CodeQL Advanced#28:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 20263m 59s
  More actions for workflow run 28

• CI: re-sync the label workflows to the template (github.token) (#37)

  failed:
  .github/workflows/scorecard.yml#81:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 2026Failure
  More actions for workflow run 81

• CI: re-sync the label workflows to the template (github.token)

  completed successfully:
  Central Estate CI/CD Audit#61:Pull request#37openedbyhyperpolymath
  claude/happy-sagan-mwnm7h

  Oct 27, 20262m 45s
  More actions for workflow run 61

• CI: re-sync the label workflows to the template (github.token)

  completed successfully:
  Documentation Integrity#117:Pull request#37openedbyhyperpolymath
  claude/happy-sagan-mwnm7h

  Oct 27, 20261m 5s
  More actions for workflow run 117