This repository was archived by the owner on Aug 31, 2026. It is now read-only.
Replace super-linter with dedicated linter images (#59) #84
This file contains hidden or 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 latest Docker images | |
| on: | |
| push: | |
| branches: | |
| - main | |
| concurrency: | |
| group: build-latest-docker-images | |
| cancel-in-progress: true | |
| permissions: | |
| packages: write | |
| jobs: | |
| build-latest-docker-image: | |
| name: Build and push latest Docker image | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6.0.2 | |
| - name: Login to GitHub Container Registry | |
| uses: docker/login-action@v4 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.repository_owner }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Build and push | |
| run: bash .ci-scripts/release/build-latest-docker-images.bash | |
| - name: Send alert on failure | |
| if: ${{ failure() }} | |
| uses: zulip/github-actions-zulip/send-message@bd8ec52de371d139ae8313661b7d8318c19266aa | |
| with: | |
| api-key: ${{ secrets.ZULIP_SCHEDULED_JOB_FAILURE_API_KEY }} | |
| email: ${{ secrets.ZULIP_SCHEDULED_JOB_FAILURE_EMAIL }} | |
| organization-url: 'https://ponylang.zulipchat.com/' | |
| to: notifications | |
| type: stream | |
| topic: ${{ github.repository }} scheduled job failure | |
| content: ${{ github.server_url}}/${{ github.repository }}/actions/runs/${{ github.run_id }} failed. | |
| prune-untagged-images: | |
| needs: | |
| - build-latest-docker-image | |
| name: Prune untagged images | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Prune | |
| # v3.1.0 | |
| uses: snok/container-retention-policy@d3bdcf5ce9b05f685154e4a16c39233b245e3d53 | |
| with: | |
| account: ponylang | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| image-names: rfc-tool | |
| tag-selection: untagged | |
| cut-off: 1d | |
| - name: Send alert on failure | |
| if: ${{ failure() }} | |
| uses: zulip/github-actions-zulip/send-message@bd8ec52de371d139ae8313661b7d8318c19266aa | |
| with: | |
| api-key: ${{ secrets.ZULIP_SCHEDULED_JOB_FAILURE_API_KEY }} | |
| email: ${{ secrets.ZULIP_SCHEDULED_JOB_FAILURE_EMAIL }} | |
| organization-url: 'https://ponylang.zulipchat.com/' | |
| to: notifications | |
| type: stream | |
| topic: ${{ github.repository }} scheduled job failure | |
| content: ${{ github.server_url}}/${{ github.repository }}/actions/runs/${{ github.run_id }} failed. |