Workflow Security Linter

Workflow runs for Workflow Security Linter

• Resolve merge conflicts in 1 file(s)

  completed successfully:
  Workflow Security Linter#1155:Commit48f581fpushedbycoderabbitai[bot]Bot
  claude/new-session-th4e9w-lockregen

  Oct 20, 202617s
  More actions for workflow run 1155

• Merge branch 'main' into claude/zen-brahmagupta-opqqle-agda-pin

  completed successfully:
  Workflow Security Linter#1154:Commitd801226pushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202617m 56s
  More actions for workflow run 1154

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns …

  completed successfully:
  Workflow Security Linter#1153:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202617m 49s
  More actions for workflow run 1153

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Workflow Security Linter#1152:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202616m 16s
  More actions for workflow run 1152

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1151:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202614m 11s
  More actions for workflow run 1151

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Workflow Security Linter#1150:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202616m 15s
  More actions for workflow run 1150

• Merge branch 'main' into claude/zen-brahmagupta-opqqle-agda-pin

  completed successfully:
  Workflow Security Linter#1149:Commite5a9372pushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202616m 13s
  More actions for workflow run 1149

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1148:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202616m 14s
  More actions for workflow run 1148

• Merge branch 'main' into claude/zen-brahmagupta-opqqle

  completed successfully:
  Workflow Security Linter#1147:Commit0971ee6pushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202616m 21s
  More actions for workflow run 1147

• Merge branch 'main' into claude/new-session-th4e9w-rm-scratch-wf

  completed successfully:
  Workflow Security Linter#1146:Commit4a8032bpushedbyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 202612m 34s
  More actions for workflow run 1146

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving …

  completed successfully:
  Workflow Security Linter#1145:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 202611m 13s
  More actions for workflow run 1145

• chore(ci): remove the one-off lock-regeneration workflow merged by #441

  completed successfully:
  Workflow Security Linter#1144:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 202613m 20s
  More actions for workflow run 1144

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving stale reusable pins upstream

  completed successfully:
  Workflow Security Linter#1143:Pull request#446openedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 20266m 16s
  More actions for workflow run 1143

• fix(ci): close actions.lock by moving stale reusable pins upstream

  completed successfully:
  Workflow Security Linter#1142:Commitfe04b5dpushedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 20265m 35s
  More actions for workflow run 1142

• chore(ci): measure lock regen across caller-pin variants (one-off)

  completed successfully:
  Workflow Security Linter#1141:Commitdb944d4pushedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 202610m 11s
  More actions for workflow run 1141

• chore(ci): one-off actions.lock regeneration run (removed before review)

  completed successfully:
  Workflow Security Linter#1140:Commit9f6fa9bpushedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 20262m 6s
  More actions for workflow run 1140

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1139:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202659s
  More actions for workflow run 1139

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Workflow Security Linter#1138:Commit0b4f98apushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202637s
  More actions for workflow run 1138

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Workflow Security Linter#1137:Pull request#445openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202621s
  More actions for workflow run 1137

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Workflow Security Linter#1136:Commit3716a11pushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 202619s
  More actions for workflow run 1136

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1135:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 202619s
  More actions for workflow run 1135

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1134:Pull request#444synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 20, 202621s
  More actions for workflow run 1134

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1133:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 202622s
  More actions for workflow run 1133

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Workflow Security Linter#1132:Pull request#444openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 202620s
  More actions for workflow run 1132

• chore: join the squash-merged #443 branch history (no file changes)

  completed successfully:
  Workflow Security Linter#1131:Commit59d7552pushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 202620s
  More actions for workflow run 1131