Daily maintenance #1307
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Daily maintenance | |
on: | |
schedule: | |
- cron: '0 4 * * *' | |
jobs: | |
update: | |
name: Update build-env containers | |
runs-on: ubuntu-latest | |
strategy: | |
max-parallel: 1 | |
steps: | |
- name: Check out the repository | |
uses: actions/checkout@v3 | |
- name: Free up some space on the rootfs | |
run: | | |
sudo rm -rf /usr/share/rust | |
sudo rm -rf /usr/share/swift | |
sudo rm -rf /usr/share/dotnet | |
sudo rm -rf /usr/local/lib/android | |
sudo rm -rf /opt/ghc | |
sudo rm -rf /usr/local/share/boost | |
sudo rm -rf /opt/hostedtoolcache/CodeQL | |
sudo rm -rf "$AGENT_TOOLSDIRECTORY" | |
- name: Update containers | |
run: ./docker/update-images | |
- name: Login to ghcr.io | |
run: | | |
docker login https://ghcr.io -u 'reaver-project-ci' -p '${{ secrets.CI_TOKEN }}' | |
- name: Push containers | |
run: | | |
docker push ghcr.io/griwes/reaveros-build-env/unpruned:${{ github.sha }} | |
docker push ghcr.io/griwes/reaveros-build-env:${{ github.sha }} | |
- name: Push the latest tag | |
if: ${{ github.event_name == 'schedule' }} | |
run: | | |
docker push ghcr.io/griwes/reaveros-build-env/unpruned:latest | |
docker push ghcr.io/griwes/reaveros-build-env:latest | |
versions: | |
name: Trigger toolchain version updates | |
runs-on: ubuntu-latest | |
strategy: | |
max-parallel: 1 | |
steps: | |
- name: Check out the repository | |
uses: actions/checkout@v3 | |
- name: Setup git | |
run: | | |
git config user.name "Reaver Project CI" | |
git config user.email "ci@reaver-project.org" | |
- name: Run toolchain update | |
env: | |
GITHUB_TOKEN: ${{ secrets.CI_TOKEN }} | |
run: ./maintenance/update-toolchain --pr |