|
|
|
@@ -77,6 +77,23 @@ jobs: |
|
|
|
toolchain: stable |
|
|
|
override: true |
|
|
|
|
|
|
|
- name: Free Disk Space (Ubuntu) |
|
|
|
uses: jlumbroso/free-disk-space@main |
|
|
|
if: matrix.folder == 'dora-phi4' || matrix.folder == 'dora-magma' |
|
|
|
with: |
|
|
|
# this might remove tools that are actually needed, |
|
|
|
# if set to "true" but frees about 6 GB |
|
|
|
tool-cache: false |
|
|
|
|
|
|
|
# all of these default to true, but feel free to set to |
|
|
|
# "false" if necessary for your workflow |
|
|
|
android: true |
|
|
|
dotnet: true |
|
|
|
haskell: true |
|
|
|
large-packages: false |
|
|
|
docker-images: true |
|
|
|
swap-storage: false |
|
|
|
|
|
|
|
- name: Run Linting and Tests |
|
|
|
## Run Linting and testing only on Mac for release workflows. |
|
|
|
if: runner.os == 'Linux' || github.event_name == 'workflow_dispatch' || (github.event_name == 'release' && startsWith(github.ref, 'refs/tags/')) |
|
|
|
|