diff --git a/.github/workflows/CircleCI_PR.yml b/.github/workflows/CircleCI_PR.yml index 070bf282c..a167bc662 100644 --- a/.github/workflows/CircleCI_PR.yml +++ b/.github/workflows/CircleCI_PR.yml @@ -10,6 +10,6 @@ jobs: with: repo-token: ${{ secrets.GITHUB_TOKEN }} api-token: ${{ secrets.CIRCLECI_TOKEN }} - artifact-path: 0/html/index.html + artifact-path: 0/html/sg_execution_times.html circleci-jobs: build_docs job-title: Check the rendered docs here!