[pgadmin-org/pgadmin4] 235370: Make the doc build action a little more efficient.

[Dave Page]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 2353702f0b3bc9484144eb588e5a8f6f7283b22b
      
https://github.com/pgadmin-org/pgadmin4/commit/2353702f0b3bc9484144eb588e5a8f6f7283b22b
  Author: Dave Page <dp...@pgadmin.org>
  Date:   2023-03-23 (Thu, 23 Mar 2023)

  Changed paths:
    M .github/workflows/check-doc-build.yml

  Log Message:
  -----------
  Make the doc build action a little more efficient.