Proofs

Workflow runs for Proofs

• chore(deps): Bump the actions group with 6 updates (#135)

  completed successfully:
  Proofs#189:Commitaeb62a5pushedbyhyperpolymath
  main

  Oct 12, 202622s
  More actions for workflow run 189

• chore(deps): Bump the actions group with 6 updates

  completed successfully:
  Proofs#188:Pull request#135openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b2e64d8df2

  Oct 11, 202617s
  More actions for workflow run 188

• ci: restore block YAML until the gates read KYAML (#134)

  completed successfully:
  Proofs#187:Commit93dc9a3pushedbyhyperpolymath
  main

  Oct 8, 202619s
  More actions for workflow run 187

• ci: restore block YAML until the gates read KYAML

  completed successfully:
  Proofs#186:Pull request#134openedbyhyperpolymath
  chore/workflow-block-yaml

  Oct 8, 202620s
  More actions for workflow run 186

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs) (#…

  completed successfully:
  Proofs#185:Commit2615225pushedbyhyperpolymath
  main

  Oct 8, 202622s
  More actions for workflow run 185

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs)

  completed successfully:
  Proofs#184:Pull request#133openedbyhyperpolymath
  chore/drop-duplicate-semgrep

  Oct 8, 202621s
  More actions for workflow run 184

• fix(security): move launcher log off predictable /tmp path (CWE-377) …

  completed successfully:
  Proofs#183:Commit86fddedpushedbyhyperpolymath
  main

  Oct 1, 202621s
  More actions for workflow run 183

• fix(security): move launcher log off predictable /tmp path (CWE-377)

  completed successfully:
  Proofs#182:Pull request#131synchronizebyhyperpolymath
  fix/launcher-xdg-state

  Oct 1, 20261m 44s
  More actions for workflow run 182

• docs: add Signed commits section to CONTRIBUTING (#132)

  completed successfully:
  Proofs#181:Commite3894f3pushedbyhyperpolymath
  main

  Oct 1, 20261m 43s
  More actions for workflow run 181

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Proofs#180:Pull request#132synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20262m 30s
  More actions for workflow run 180

• fix(security): move launcher log off predictable /tmp path (CWE-377)

  completed successfully:
  Proofs#179:Pull request#131synchronizebyhyperpolymath
  fix/launcher-xdg-state

  Oct 1, 20264m 10s
  More actions for workflow run 179

• docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat…

  completed successfully:
  Proofs#178:Commitbdf88cfpushedbyhyperpolymath
  main

  Oct 1, 20267m 26s
  More actions for workflow run 178

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Proofs#177:Pull request#132openedbyhyperpolymath
  docs/signing-policy-d218

  Sep 30, 202648s
  More actions for workflow run 177

• fix(security): move launcher log off predictable /tmp path (CWE-377)

  completed successfully:
  Proofs#176:Pull request#131synchronizebycoderabbitai[bot]Bot
  fix/launcher-xdg-state

  Sep 30, 202619s
  More actions for workflow run 176

• fix(security): move launcher log off predictable /tmp path (CWE-377)

  completed successfully:
  Proofs#175:Pull request#131synchronizebycoderabbitai[bot]Bot
  fix/launcher-xdg-state

  Sep 30, 202621s
  More actions for workflow run 175

• fix(security): move launcher log off predictable /tmp path (CWE-377)

  completed successfully:
  Proofs#174:Pull request#131openedbyhyperpolymath
  fix/launcher-xdg-state

  Sep 30, 202625s
  More actions for workflow run 174

• chore(deps): Bump the actions group with 4 updates (#130)

  completed successfully:
  Proofs#173:Commitcd313f6pushedbyhyperpolymath
  main

  Sep 28, 202620s
  More actions for workflow run 173

• chore(deps): Bump the actions group with 4 updates

  completed successfully:
  Proofs#172:Pull request#130openedbydependabot[bot]Bot
  dependabot/github_actions/actions-6c175c2c67

  Sep 27, 202618s
  More actions for workflow run 172

• ci: re-pin codeql-action to the true v4.38.0 commit (#129)

  completed successfully:
  Proofs#171:Commit0710c68pushedbyhyperpolymath
  main

  Sep 22, 202628s
  More actions for workflow run 171

• ci: re-pin codeql-action to the true v4.38.0 commit

  completed successfully:
  Proofs#170:Pull request#129openedbyhyperpolymath
  ci/repin-codeql-v4.38.0

  Sep 22, 202618s
  More actions for workflow run 170

• chore(deps): Bump the actions group with 2 updates (#127)

  completed successfully:
  Proofs#169:Commitacbc619pushedbyhyperpolymath
  main

  Sep 22, 202625s
  More actions for workflow run 169

• chore(deps): Bump the actions group with 2 updates

  completed successfully:
  Proofs#168:Pull request#127synchronizebyhyperpolymath
  dependabot/github_actions/actions-c83b7ed659

  Sep 22, 202620s
  More actions for workflow run 168

• docs: cite launcher-standard_praxis.deed, not the deleted a2ml (#128)

  completed successfully:
  Proofs#167:Commitcfe0741pushedbyhyperpolymath
  main

  Sep 22, 202628s
  More actions for workflow run 167

• docs: cite launcher-standard_praxis.deed, not the deleted a2ml

  completed successfully:
  Proofs#166:Pull request#128openedbyhyperpolymath
  docs/ac1-cite-launcher-standard-praxis-deed

  Sep 22, 202619s
  More actions for workflow run 166

• chore(deps): Bump the actions group with 2 updates

  completed successfully:
  Proofs#165:Pull request#127openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c83b7ed659

  Sep 22, 20269m 53s
  More actions for workflow run 165