pin repo2docker at 2024.07.0 #3
Workflow file for this run
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: Build and test container image | |
| on: | |
| pull_request: | |
| jobs: | |
| test-build: | |
| runs-on: ubuntu-latest | |
| env: | |
| DOCKER_CONFIG: $HOME/.docker | |
| steps: | |
| - name: cleanup disk space | |
| run: | | |
| sudo rm -rf /usr/local/lib/android /usr/share/dotnet /opt/ghc | |
| df -h | |
| - name: Checkout files in repo | |
| uses: actions/checkout@v4 | |
| - name: See if the image config changed | |
| id: changed-files | |
| uses: tj-actions/changed-files@v44 | |
| with: | |
| files_ignore: | | |
| README.md | |
| CONTRIBUTING.md | |
| LICENSE | |
| .github/** | |
| images/** | |
| - name: What files changed? | |
| if: steps.changed-files.outputs.any_changed == 'true' | |
| env: | |
| CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }} | |
| run: | | |
| echo "One or more image file(s) has changed:" | |
| echo "$CHANGED_FILES" | |
| - name: Build and test the image if any image file(s) changed | |
| if: steps.changed-files.outputs.any_changed == 'true' | |
| uses: jupyterhub/repo2docker-action@master | |
| with: | |
| FORCE_REPO2DOCKER_VERSION: jupyter-repo2docker==2024.07.0 | |
| REPO_DIR: /srv/repo | |
| NO_PUSH: true | |
| # Lets us monitor disks getting full as images get bigger over time | |
| - name: Show how much disk space is left | |
| run: df -h |