Build #1424
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 | |
| on: | |
| push: | |
| branches: | |
| - '**' | |
| tags: | |
| - '**' | |
| pull_request: | |
| branches: | |
| - main | |
| - master | |
| schedule: | |
| # We want to run right after the `latest` image is published. | |
| # So, let's do it an hour right after. Look the schedule of publishing here: | |
| # https://github.com/alexhumphreys/idris2-dockerfile/blob/main/.github/workflows/docker-image.yml | |
| - cron: '0 1 * * *' | |
| defaults: | |
| run: | |
| shell: bash | |
| jobs: | |
| build: | |
| name: Build ${{ github.repository }} with pack latest | |
| runs-on: ubuntu-latest | |
| env: | |
| PACK_DIR: /root/.pack | |
| strategy: | |
| fail-fast: false | |
| container: ghcr.io/stefan-hoeck/idris2-pack:latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Build lib | |
| run: pack install tutorial |