Test building docs when they're updated

Workflow runs for Test building docs when they're updated

• Merge pull request #64 from samsrabin/add-porting-docs

  completed successfully:
  Test building docs when they're updated#46:Commit78aa0e4pushedbysamsrabin
  master

  Jun 25, 202615s
  More actions for workflow run 46

• Add porting docs

  completed successfully:
  Test building docs when they're updated#45:Pull request#64synchronizebysamsrabin
  samsrabin:add-porting-docs

  Jun 25, 202617s
  More actions for workflow run 45

• Add porting docs

  completed successfully:
  Test building docs when they're updated#44:Pull request#64openedbysamsrabin
  samsrabin:add-porting-docs

  Jun 25, 202616s
  More actions for workflow run 44

• Merge pull request #63 from samsrabin/fix-upload-artifact-path

  completed successfully:
  Test building docs when they're updated#43:Commit06c71f9pushedbysamsrabin
  master

  Jun 25, 202615s
  More actions for workflow run 43

• Fix upload artifact path for doc-builder itself

  completed successfully:
  Test building docs when they're updated#42:Pull request#63openedbysamsrabin
  samsrabin:fix-upload-artifact-path

  Jun 25, 202618s
  More actions for workflow run 42

• Merge pull request #62 from samsrabin/simplify-docs-workflows

  completed successfully:
  Test building docs when they're updated#41:Commit1530174pushedbysamsrabin
  master

  Jun 25, 202616s
  More actions for workflow run 41

• Reduce code dupe in workflows; improve workflows

  completed successfully:
  Test building docs when they're updated#40:Pull request#62openedbysamsrabin
  samsrabin:simplify-docs-workflows

  Jun 25, 202619s
  More actions for workflow run 40

• Merge pull request #61 from samsrabin/fix-gh-log-verbosity

  completed successfully:
  Test building docs when they're updated#39:Commit3f74ccdpushedbysamsrabin
  master

  Jun 25, 202617s
  More actions for workflow run 39

• Fix GitHub log verbosity

  completed successfully:
  Test building docs when they're updated#38:Pull request#61synchronizebysamsrabin
  samsrabin:fix-gh-log-verbosity

  Jun 25, 202617s
  More actions for workflow run 38

• Fix GitHub log verbosity

  failed:
  Test building docs when they're updated#37:Pull request#61synchronizebysamsrabin
  samsrabin:fix-gh-log-verbosity

  Jun 25, 202615s
  More actions for workflow run 37

• Fix GitHub log verbosity

  completed successfully:
  Test building docs when they're updated#36:Pull request#61synchronizebysamsrabin
  samsrabin:fix-gh-log-verbosity

  Jun 25, 202614s
  More actions for workflow run 36

• Fix GitHub log verbosity

  failed:
  Test building docs when they're updated#35:Pull request#61synchronizebysamsrabin
  samsrabin:fix-gh-log-verbosity

  Jun 25, 202616s
  More actions for workflow run 35

• Fix GitHub log verbosity

  failed:
  Test building docs when they're updated#34:Pull request#61openedbysamsrabin
  samsrabin:fix-gh-log-verbosity

  Jun 25, 202644s
  More actions for workflow run 34

• Merge pull request #60 from samsrabin/fix-build_docs_to_publish-again

  completed successfully:
  Test building docs when they're updated#33:Commit04622e5pushedbysamsrabin
  master

  Jun 25, 202621s
  More actions for workflow run 33

• Fix build_docs_to_publish again

  completed successfully:
  Test building docs when they're updated#32:Pull request#60synchronizebysamsrabin
  samsrabin:fix-build_docs_to_publish-again

  Jun 25, 202618s
  More actions for workflow run 32

• Fix build_docs_to_publish again

  completed successfully:
  Test building docs when they're updated#31:Pull request#60synchronizebysamsrabin
  samsrabin:fix-build_docs_to_publish-again

  Jun 25, 202614s
  More actions for workflow run 31

• Fix build_docs_to_publish again

  completed successfully:
  Test building docs when they're updated#30:Pull request#60synchronizebysamsrabin
  samsrabin:fix-build_docs_to_publish-again

  Jun 25, 202614s
  More actions for workflow run 30

• Fix build_docs_to_publish again

  completed successfully:
  Test building docs when they're updated#29:Pull request#60synchronizebysamsrabin
  samsrabin:fix-build_docs_to_publish-again

  Jun 25, 202620s
  More actions for workflow run 29

• Fix build_docs_to_publish again

  completed successfully:
  Test building docs when they're updated#28:Pull request#60openedbysamsrabin
  samsrabin:fix-build_docs_to_publish-again

  Jun 25, 202615s
  More actions for workflow run 28

• Merge pull request #59 from samsrabin/fix-build_docs_to_publish-args

  completed successfully:
  Test building docs when they're updated#27:Commit5043484pushedbysamsrabin
  master

  Jun 25, 202616s
  More actions for workflow run 27

• Pass build_docs_to_publish args to build_docs.

  completed successfully:
  Test building docs when they're updated#26:Pull request#59openedbysamsrabin
  samsrabin:fix-build_docs_to_publish-args

  Jun 25, 202616s
  More actions for workflow run 26

• Merge pull request #58 from samsrabin/build_docs-scripts-dont-assume-…

  completed successfully:
  Test building docs when they're updated#25:Commit6637414pushedbysamsrabin
  master

  Jun 24, 202613s
  More actions for workflow run 25

• build_docs scripts: Don't assume fleximod

  completed successfully:
  Test building docs when they're updated#24:Pull request#58openedbysamsrabin
  samsrabin:build_docs-scripts-dont-assume-fleximod

  Jun 24, 202614s
  More actions for workflow run 24

• Merge pull request #57 from samsrabin/actually-fix-preview_docs_pr

  completed successfully:
  Test building docs when they're updated#23:Commitfbe95d0pushedbysamsrabin
  master

  Jun 23, 202614s
  More actions for workflow run 23

• Actually fix preview_docs_pr

  completed successfully:
  Test building docs when they're updated#22:Pull request#57synchronizebysamsrabin
  samsrabin:actually-fix-preview_docs_pr

  Jun 23, 202615s
  More actions for workflow run 22