Conformance

Workflow runs for Conformance

• chore(deps): bump leanprover/lean-action from 1.6.2 to 1.7.0 in the actions group

  completed successfully:
  Conformance#160:Pull request#114openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c801928ed

  Nov 1, 20262m 7s
  More actions for workflow run 160

• chore(deps): bump the actions group with 3 updates (#113)

  completed successfully:
  Conformance#159:Commit122b14dpushedbyhyperpolymath
  main

  Oct 25, 202631s
  More actions for workflow run 159

• chore(deps): bump the actions group with 3 updates

  completed successfully:
  Conformance#158:Pull request#113openedbydependabot[bot]Bot
  dependabot/github_actions/actions-52fc152648

  Oct 25, 202632s
  More actions for workflow run 158

• chore(deps): bump the actions group with 4 updates (#112)

  completed successfully:
  Conformance#157:Commit800cf45pushedbyhyperpolymath
  main

  Oct 18, 202629s
  More actions for workflow run 157

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

  completed successfully:
  Conformance#156:Pull request#112openedbydependabot[bot]Bot
  dependabot/github_actions/actions-f7193b2b12

  Oct 18, 202633s
  More actions for workflow run 156

• chore(deps): bump the actions group with 4 updates (#111)

  completed successfully:
  Conformance#155:Commit9d6fc8bpushedbyhyperpolymath
  main

  Oct 11, 202626s
  More actions for workflow run 155

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

  completed successfully:
  Conformance#154:Pull request#111openedbydependabot[bot]Bot
  dependabot/github_actions/actions-0ea35773d6

  Oct 11, 202633s
  More actions for workflow run 154

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the a…

  completed successfully:
  Conformance#153:Commit56a9887pushedbyhyperpolymath
  main

  Oct 4, 202631s
  More actions for workflow run 153

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group

  completed successfully:
  Conformance#152:Pull request#110openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c730b7206

  Oct 4, 202628s
  More actions for workflow run 152

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

  completed successfully:
  Conformance#151:Commit4132e7cpushedbyhyperpolymath
  main

  Oct 1, 20261m 24s
  More actions for workflow run 151

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Conformance#150:Pull request#109synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20261m 34s
  More actions for workflow run 150

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Conformance#149:Pull request#109openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202623s
  More actions for workflow run 149

• chore(deps): bump the actions group with 4 updates (#108)

  completed successfully:
  Conformance#148:Commitb383154pushedbyhyperpolymath
  main

  Sep 27, 202633s
  More actions for workflow run 148

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

  completed successfully:
  Conformance#147:Pull request#108openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c42d929ac2

  Sep 27, 202633s
  More actions for workflow run 147

• fix(gates): gate on the DEED grammar, per the template and standards#…

  completed successfully:
  Conformance#146:Commit5463d7epushedbyhyperpolymath
  main

  Sep 21, 20263h 47m 24s
  More actions for workflow run 146

• fix(gates): gate on the DEED grammar, per the template and standards#837

  completed successfully:
  Conformance#145:Pull request#107openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20263h 22m 28s
  More actions for workflow run 145

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam…

  cancelled:
  Conformance#144:Commit86ae0f7pushedbyhyperpolymath
  main

  Sep 21, 202646m 58s
  More actions for workflow run 144

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming

  completed successfully:
  Conformance#143:Pull request#106openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20262h 22m 1s
  More actions for workflow run 143

• fix(ci): give callers the union of the reusable's declared permission…

  completed successfully:
  Conformance#142:Commita499723pushedbyhyperpolymath
  main

  Sep 21, 202617m 18s
  More actions for workflow run 142

• fix(ci): give callers the union of the reusable's declared permissions

  completed successfully:
  Conformance#141:Pull request#105openedbyhyperpolymath
  fix/caller-permissions-union

  Sep 21, 202617m 10s
  More actions for workflow run 141

• fix(ci): repair the permissions block indentation (invalid YAML) (#104)

  cancelled:
  Conformance#140:Commit61b3034pushedbyhyperpolymath
  main

  Sep 21, 20266m 17s
  More actions for workflow run 140

• fix(ci): repair the permissions block indentation (invalid YAML)

  completed successfully:
  Conformance#139:Pull request#104openedbyhyperpolymath
  fix/ci-permissions-indentation

  Sep 21, 202619m 1s
  More actions for workflow run 139

• fix(ci): repair the permissions block indentation (invalid YAML) (#103)

  cancelled:
  Conformance#138:Commitf426b9dpushedbyhyperpolymath
  main

  Sep 21, 20267s
  More actions for workflow run 138

• fix(ci): repair the permissions block indentation (invalid YAML)

  completed successfully:
  Conformance#137:Pull request#103openedbyhyperpolymath
  fix/ci-permissions-indentation

  Sep 21, 202616m 49s
  More actions for workflow run 137

• fix(ci): correct reusable-workflow caller permissions and inputs (#102)

  completed successfully:
  Conformance#136:Commit29393a3pushedbyhyperpolymath
  main

  Sep 21, 20263m 24s
  More actions for workflow run 136