Publish websites from PR to a subdirectory

Author: penelopeysm

.github/workflows/generate_website.yml

@@ -86,7 +86,6 @@ jobs:
 
   collect-results:
     runs-on: ubuntu-latest
-    if: github.event_name != 'pull_request'
     needs: [setup-keys, run-models]
 
     steps:
@@ -106,3 +105,4 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./html
+          destination_dir: ${{ github.event_name == 'pull_request' && 'pr' || '' }}

README.md

@@ -21,6 +21,12 @@ You can edit it there.
 
 Note that the links-to-existing-GitHub-issues in the table are also defined in this script.
 
+## I want to see the HTML generated by a PR!
+
+The latest workflow run across all PRs will be published to https://turinglang.org/ADTests/pr.
+
+This is a bit messy, but works for now on the assumption that there aren't many PRs being worked on simultaneously.
+
 ## What's going on?
 
 The workflow is the most complicated part of this repository.