Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 21 additions & 0 deletions .github/workflows/copilot-setup-steps.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,23 +10,38 @@ jobs:
- name: Checkout repository
uses: actions/checkout@v4

- name: Log disk space (after checkout)
uses: ./.github/workflows/log-disk-space

- name: Setup .NET
uses: actions/setup-dotnet@v4
with:
dotnet-version: '9.x'

- name: Log disk space (after .NET setup)
uses: ./.github/workflows/log-disk-space

- name: Install Android workload
run: dotnet workload install android

- name: Log disk space (after Android workload)
uses: ./.github/workflows/log-disk-space

- name: Setup OpenJDK 21
uses: actions/setup-java@v4
with:
distribution: 'microsoft'
java-version: '21'

- name: Log disk space (after Java setup)
uses: ./.github/workflows/log-disk-space

- name: Restore dotnet tools
run: dotnet tool restore

- name: Log disk space (after dotnet tools restore)
uses: ./.github/workflows/log-disk-space

# Cache the externals directory based on config.json content
# This caches the Maven artifacts downloaded by the binderator tool
# to avoid re-downloading the same artifacts on subsequent runs
Expand All @@ -37,10 +52,16 @@ jobs:
path: ./externals
key: externals-${{ hashFiles('config.json') }}

- name: Log disk space (after externals cache restore)
uses: ./.github/workflows/log-disk-space

- name: Run dotnet cake
run: dotnet cake
continue-on-error: true

- name: Log disk space (after dotnet cake)
uses: ./.github/workflows/log-disk-space

# Save the externals cache after dotnet cake runs
# This ensures the cache reflects the original config.json state
# before any potential modifications by the build process
Expand Down
19 changes: 19 additions & 0 deletions .github/workflows/log-disk-space/action.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name: Log Disk Space
description: Logs disk space usage on the runner
runs:
using: composite
steps:
- name: Log disk space
shell: bash
run: |
echo "=== Disk Space Usage ==="
df -h
echo ""
echo "=== Disk Usage by Directory (/) ==="
du -h -d 1 / 2>/dev/null | sort -hr | head -20 || true
echo ""
echo "=== Disk Usage in Current Directory ==="
du -h -d 1 . 2>/dev/null | sort -hr | head -20 || true
echo ""
echo "=== Disk Usage Summary ==="
df -h / | tail -1 | awk '{print "Used: " $3 " / " $2 " (" $5 " full)"}'
Loading