CodeQL Advanced

Workflow runs for CodeQL Advanced

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#50:Scheduled
  main

  Nov 11, 20261m 19s
  More actions for workflow run 50

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  completed successfully:
  CodeQL Advanced#49:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 20267m 53s
  More actions for workflow run 49

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  CodeQL Advanced#48:Pull request#43openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 202612m 33s
  More actions for workflow run 48

• Ledger: record where rows say more than the Agda states (#41)

  completed successfully:
  CodeQL Advanced#47:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 202613m 20s
  More actions for workflow run 47

• Ledger: record where rows say more than the Agda states

  completed successfully:
  CodeQL Advanced#46:Pull request#41synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 10, 20264m 59s
  More actions for workflow run 46

• docs(status): the epistemic-types pin is 6ce8c74 since #40, not 495db…

  completed successfully:
  CodeQL Advanced#45:Commitedf7b88pushedbyhyperpolymath
  main

  Nov 10, 20261m 27s
  More actions for workflow run 45

• docs(status): the epistemic-types pin is 6ce8c74 since #40, not 495db9c

  completed successfully:
  CodeQL Advanced#44:Pull request#42synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20261h 21m 31s
  More actions for workflow run 44

• docs(status): the epistemic-types pin is 6ce8c74 since #40, not 495db9c

  completed successfully:
  CodeQL Advanced#43:Pull request#42openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202629m 52s
  More actions for workflow run 43

• Ledger: record where rows say more than the Agda states

  completed successfully:
  CodeQL Advanced#42:Pull request#41synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 9, 202631m 51s
  More actions for workflow run 42

• Ledger: record where rows say more than the Agda states

  completed successfully:
  CodeQL Advanced#41:Pull request#41openedbyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 9, 202618m 45s
  More actions for workflow run 41

• Prove asynchronous whole-world partial recovery obstruction (#40)

  completed successfully:
  CodeQL Advanced#40:Commit17240c7pushedbyhyperpolymath
  main

  Nov 7, 20261m 17s
  More actions for workflow run 40

• Prove asynchronous whole-world partial recovery obstruction

  completed successfully:
  CodeQL Advanced#39:Pull request#40openedbyhyperpolymath
  codex/async-whole-world-obstruction-20261107

  Nov 7, 202652s
  More actions for workflow run 39

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-typ…

  completed successfully:
  CodeQL Advanced#38:Commit5a2a6cfpushedbyhyperpolymath
  main

  Nov 5, 20261m 21s
  More actions for workflow run 38

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

  completed successfully:
  CodeQL Advanced#37:Pull request#38synchronizebycoderabbitai[bot]Bot
  arena/3bf1061a-choreographic-types

  Nov 5, 20261m 0s
  More actions for workflow run 37

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

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

  Nov 5, 20261m 5s
  More actions for workflow run 36

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

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

  Nov 5, 20261m 3s
  More actions for workflow run 35

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

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

  Nov 5, 202656s
  More actions for workflow run 34

• Add a minimal repo deed with the notify job's egress (standards ADR-0…

  completed successfully:
  CodeQL Advanced#33:Commitfdebaf8pushedbyhyperpolymath
  main

  Nov 5, 20261m 27s
  More actions for workflow run 33

• Add a minimal repo deed with the notify job's egress (standards ADR-009)

  completed successfully:
  CodeQL Advanced#32:Pull request#39openedbyhyperpolymath
  claude/happy-sagan-mwnm7h

  Nov 4, 20262m 27s
  More actions for workflow run 32

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#31:Scheduled
  main

  Nov 4, 20261m 25s
  More actions for workflow run 31

• 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

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#29:Scheduled
  main

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

• 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)

  completed successfully:
  CodeQL Advanced#27:Pull request#37openedbyhyperpolymath
  claude/happy-sagan-mwnm7h

  Oct 27, 20261m 15s
  More actions for workflow run 27

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#26:Scheduled
  main

  Oct 21, 20261m 27s
  More actions for workflow run 26