lean-proofs

Workflow runs for lean-proofs

• build(deps): bump the actions group with 10 updates (#143)

  completed successfully:
  lean-proofs#107:Commitd19cab0pushedbyhyperpolymath
  main

  Sep 18, 202644s
  More actions for workflow run 107

• lean-proofs

  failed at startup:
  lean-proofs#106:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5a60ffb33c

  Sep 18, 2026Startup failure
  More actions for workflow run 106

• build(deps): bump the actions group with 10 updates

  failed at startup:
  lean-proofs#105:Commit8b4bfd4pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-5a60ffb33c

  Sep 18, 2026Startup failure
  More actions for workflow run 105

• refactor: migrate Markdown to AsciiDoc (#135)

  completed successfully:
  lean-proofs#104:Commita6929c9pushedbyhyperpolymath
  main

  Aug 24, 20261h 5m 39s
  More actions for workflow run 104

• refactor: migrate Markdown to AsciiDoc

  completed successfully:
  lean-proofs#103:Pull request#135openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 6m 6s
  More actions for workflow run 103

• refactor: migrate repository documentation from Markdown to AsciiDoc

  completed successfully:
  lean-proofs#102:Commit5de596cpushedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 6m 48s
  More actions for workflow run 102

• fix(ci): make the secret scanner and the Lean proof gate actually run…

  completed successfully:
  lean-proofs#101:Commit7864eb0pushedbyhyperpolymath
  main

  Jul 27, 202636s
  More actions for workflow run 101

• fix(ci): make the secret scanner and the Lean proof gate actually run

  completed successfully:
  lean-proofs#100:Pull request#129openedbyhyperpolymath
  fix/valid-workflows-secret-scanner-and-lean-proofs

  Jul 27, 20264m 27s
  More actions for workflow run 100

• fix(ci): make the secret scanner and the Lean proof gate actually run

  completed successfully:
  lean-proofs#99:Commit996e80cpushedbyhyperpolymath
  fix/valid-workflows-secret-scanner-and-lean-proofs

  Jul 27, 202633s
  More actions for workflow run 99

• fix(ci): re-point validate-action references at the ecosystem repos (…

  failed:
  lean-proofs#98:Commitcfbde36pushedbyhyperpolymath
  main

  Jul 27, 2026Failure
  More actions for workflow run 98

• fix(ci): re-point validate-action references at the ecosystem repos

  failed:
  lean-proofs#97:Commita1169ffpushedbyhyperpolymath
  fix/repoint-validate-actions

  Jul 27, 2026Failure
  More actions for workflow run 97

• Sync local commits to main (#127)

  failed:
  lean-proofs#96:Commitc333c1bpushedbyhyperpolymath
  main

  Jul 23, 2026Failure
  More actions for workflow run 96

• sweep4: add C-A-G-M files

  failed:
  lean-proofs#95:Commitaa75244pushedbyhyperpolymath
  sync-local-updates-1784832678

  Jul 23, 2026Failure
  More actions for workflow run 95

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu…

  failed:
  lean-proofs#94:Commit8647a09pushedbyhyperpolymath
  main

  Jul 21, 2026Failure
  More actions for workflow run 94

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu…

  failed:
  lean-proofs#93:Commit45c61bcpushedbyhyperpolymath
  fix/governance-gate-sweep

  Jul 21, 2026Failure
  More actions for workflow run 93

• fix(ci): grant the secret-scanner reusable its required job permissio…

  failed:
  lean-proofs#92:Commit627fa31pushedbyhyperpolymath
  main

  Jul 21, 2026Failure
  More actions for workflow run 92

• Merge branch 'main' into fix/secret-scanner-permissions-signed

  failed:
  lean-proofs#91:Commit49c4e0epushedbyhyperpolymath
  fix/secret-scanner-permissions-signed

  Jul 21, 2026Failure
  More actions for workflow run 91

• security: re-pin secret scanner onto the real gitleaks gate (#125)

  failed:
  lean-proofs#90:Commit0ee3c11pushedbyhyperpolymath
  main

  Jul 21, 2026Failure
  More actions for workflow run 90

• security: re-pin secret scanner onto the real gitleaks gate

  failed:
  lean-proofs#89:Commit453569apushedbyhyperpolymath
  security/real-secret-gate

  Jul 21, 2026Failure
  More actions for workflow run 89

• fix(ci): drop the retired inline trufflehog job

  failed:
  lean-proofs#88:Commit4fd78dapushedbyhyperpolymath
  fix/secret-scanner-permissions-signed

  Jul 21, 2026Failure
  More actions for workflow run 88

• fix(ci): grant the secret-scanner reusable its required job permissions

  failed:
  lean-proofs#87:Commitb6ef087pushedbyhyperpolymath
  fix/secret-scanner-permissions-signed

  Jul 21, 2026Failure
  More actions for workflow run 87

• fix(ci): grant the secret-scanner reusable its required job permissions

  failed:
  lean-proofs#86:Commitfb238b7pushedbyhyperpolymath
  fix/secret-scanner-caller-permissions

  Jul 21, 2026Failure
  More actions for workflow run 86

• ci: deploy docs via Ddraig SSG (#122)

  failed:
  lean-proofs#85:Commite60666cpushedbyhyperpolymath
  main

  Jul 21, 2026Failure
  More actions for workflow run 85

• ci: deploy docs via Ddraig SSG (#122)

  failed:
  lean-proofs#84:Commite60666cpushedbyhyperpolymath
  main

  Jul 19, 2026Failure
  More actions for workflow run 84

• ci: mass-deploy Ddraig SSG workflow

  failed:
  lean-proofs#83:Commit70b131cpushedbyhyperpolymath
  feat/ddraig-pages-mass

  Jul 19, 2026Failure
  More actions for workflow run 83