Push docs

Workflow runs for Push docs

• Fix diann reading

  completed successfully:
  Push docs#15:Commit8481226pushedbywfondrie
  main

  Dec 9, 202527s
  More actions for workflow run 15

• Fix API docs

  completed successfully:
  Push docs#14:Commit0d9c667pushedbywfondrie
  main

  Dec 9, 202533s
  More actions for workflow run 14

• Docs action patch

  failed:
  Push docs#13:Commit7422915pushedbywfondrie
  main

  Dec 9, 202526s
  More actions for workflow run 13

• Fix the publish action (#27)

  failed:
  Push docs#12:Commit3e0c98apushedbywfondrie
  main

  Dec 9, 202525s
  More actions for workflow run 12