File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change 34
34
run : |
35
35
curl -O https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/${{ github.event_name == 'pull_request' && 'pr/' || '' }}adtests.json
36
36
curl -O https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/${{ github.event_name == 'pull_request' && 'pr/' || '' }}manifest.json
37
- curl -O https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/${{ github.event_name == 'pull_request' && 'pr/' || '' }}model_definition .json
37
+ curl -O https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/${{ github.event_name == 'pull_request' && 'pr/' || '' }}model_definitions .json
38
38
working-directory : web/src/data
39
39
40
40
# This isn't needed to build the website, it's just there so that the
You can’t perform that action at this time.
0 commit comments