File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change 8787 image : lampepfl/dotty:2024-10-18
8888 options : --cpu-shares 4096
8989 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
9191 - ${{ github.workspace }}/../../cache/sbt:/root/.sbt
9292 - ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
9393 - ${{ github.workspace }}/../../cache/general:/root/.cache
@@ -103,6 +103,8 @@ jobs:
103103 && github.repository == 'scala/scala3'
104104 )"
105105 steps :
106+ - name : Populate the Build Cache
107+ run : cp -r /root/build-cache-source/. /root/.sbt/1.0/.develocity/build-cache
106108 - name : Set JDK 17 as default
107109 run : echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
108110
You can’t perform that action at this time.
0 commit comments