Skip to content

Change docs check HTML build to depend on GITHUB_WORKFLOW and not CI #50

Change docs check HTML build to depend on GITHUB_WORKFLOW and not CI

Change docs check HTML build to depend on GITHUB_WORKFLOW and not CI #50