Skip to content

Commit

Permalink
[CI] Remove actions that freed up space in hosted GitHub runner (#54)
Browse files Browse the repository at this point in the history
These actions are not needed in the self-hosted runner.

Also, assign a temporal name to the wkdev container in the 'Test image'
step. Assigning a temporal name to the container prevents potential name
collisions.
  • Loading branch information
dpino authored Sep 27, 2024
1 parent e7ab6a0 commit d347129
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 77 deletions.
57 changes: 0 additions & 57 deletions .github/workflows/scripts/free_disk_space.sh

This file was deleted.

26 changes: 6 additions & 20 deletions .github/workflows/wkdev-sdk.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,28 +20,12 @@ jobs:
fi
echo "WKDEV_SDK_CONTAINER_REGISTRY_USER_NAME=${GITHUB_REPOSITORY_OWNER}" >> "${GITHUB_OUTPUT}"
- name: Increase storage space
uses: easimon/maximize-build-space@master
with:
# Podman uses an insane amount of storage during creation of the image.
# This must be a bug as 20GB (the default) truly isn't large enough.
# TODO: Ensure fuse-overlayfs is working as expected.
root-reserve-mb: 30720
remove-dotnet: true
remove-android: true
remove-haskell: true
remove-codeql: true
remove-docker-images: true

- name: Install podman
run: sudo apt-get update && sudo apt-get -y install podman fuse-overlayfs

- name: Checkout repo
uses: actions/checkout@v4

- name: Free disk space
run: .github/workflows/scripts/free_disk_space.sh

- name: Build image
run: |
source ./register-sdk-on-host.sh
Expand All @@ -57,11 +41,13 @@ jobs:

- name: Test image
run: |
CONTAINER="wkdev-$(date +%s)"
source ./register-sdk-on-host.sh
wkdev-create --create-home --verbose --attach --no-pull
wkdev-enter --exec -- git clone --depth=1 https://github.com/WebKit/WebKit.git
wkdev-enter --exec -- ./WebKit/Tools/Scripts/build-webkit --wpe --release --generate-project-only
wkdev-enter --exec -- ./WebKit/Tools/Scripts/build-webkit --gtk --release --generate-project-only
wkdev-create --create-home --verbose --attach --no-pull -n ${CONTAINER}
wkdev-enter -n ${CONTAINER} --exec -- git clone --depth=1 https://github.com/WebKit/WebKit.git
wkdev-enter -n ${CONTAINER} --exec -- ./WebKit/Tools/Scripts/build-webkit --wpe --release --generate-project-only
wkdev-enter -n ${CONTAINER} --exec -- ./WebKit/Tools/Scripts/build-webkit --gtk --release --generate-project-only
podman stop ${CONTAINER} || true
deploy:
runs-on: self-hosted
Expand Down

0 comments on commit d347129

Please sign in to comment.