Make docs and publish to GitHub Pages

Workflow runs for Make docs and publish to GitHub Pages

• Update push_main.yml

  completed successfully:
  Make docs and publish to GitHub Pages#183:Commit754b2b5pushedbyJosipKuci
  dev

  May 21, 202623m 24s
  More actions for workflow run 183

• Small fixes

  completed successfully:
  Make docs and publish to GitHub Pages#182:Commit39c20fdpushedbyJosipKuci
  dev

  Apr 23, 202620s
  More actions for workflow run 182

• Update clang-format workflow and README with new links

  completed successfully:
  Make docs and publish to GitHub Pages#181:Commit04c67c6pushedbyJosipKuci
  dev

  Apr 20, 202610m 34s
  More actions for workflow run 181