File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 8989 run : |
9090 set -ex;
9191
92- sudo pkill -9 sccache || :;
93- sudo rm -f .cache/*.log;
94- devcontainer-utils-post-attach-command;
92+ devcontainer-utils-install-sccache --repo rapidsai/sccache --version rapids;
93+ devcontainer-utils-init-sccache-dist \
94+ --enable-sccache-dist - <<< " \
95+ --auth-type 'token' \
96+ --auth-token '${SCCACHE_DIST_TOKEN}' \
97+ ";
9598
9699 # Copy source folder into ~/stdexec
97100 cp -r "${GITHUB_WORKSPACE}"/stdexec ~/;
Original file line number Diff line number Diff line change @@ -101,9 +101,12 @@ jobs:
101101
102102 set -x;
103103
104- sudo pkill -9 sccache || :;
105- sudo rm -f .cache/*.log;
106- devcontainer-utils-post-attach-command;
104+ devcontainer-utils-install-sccache --repo rapidsai/sccache --version rapids;
105+ devcontainer-utils-init-sccache-dist \
106+ --enable-sccache-dist - <<< " \
107+ --auth-type 'token' \
108+ --auth-token '${SCCACHE_DIST_TOKEN}' \
109+ ";
107110
108111 # Copy source folder into ~/stdexec
109112 cp -r "${GITHUB_WORKSPACE}"/stdexec ~/;
You can’t perform that action at this time.
0 commit comments