File tree 1 file changed +3
-1
lines changed
1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change 87
87
image : lampepfl/dotty:2024-10-18
88
88
options : --cpu-shares 4096
89
89
volumes :
90
- - /nfs-cache/.develocity/build-cache/${{ github.event.pull_request.number }}:/root/.sbt/1.0/.develocity/ build-cache:ro
90
+ - /nfs-cache/.develocity/build-cache/${{ github.event.pull_request.number }}:/root/build-cache-source :ro
91
91
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
92
92
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
93
93
- ${{ github.workspace }}/../../cache/general:/root/.cache
@@ -103,6 +103,8 @@ jobs:
103
103
&& github.repository == 'scala/scala3'
104
104
)"
105
105
steps :
106
+ - name : Populate the Build Cache
107
+ run : cp -r /root/build-cache-source/. /root/.sbt/1.0/.develocity/build-cache
106
108
- name : Set JDK 17 as default
107
109
run : echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
108
110
You can’t perform that action at this time.
0 commit comments