File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 17
17
18
18
- name : Download results to web/src/data
19
19
run : |
20
- curl https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/adtests.json
21
- curl https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/manifest.json
22
- curl https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/model_definitions.json
20
+ curl https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/adtests.json -o adtests.json
21
+ curl https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/manifest.json -o manifest.json
22
+ curl https://raw.githubusercontent.com/TuringLang/ADTests/refs/heads/gh-pages/model_definitions.json -o model_definitions.json
23
23
working-directory : web/src/data
24
24
25
25
# 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