Publish texmacs-cd Container #2
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: Publish texmacs-cd Container | |
| # copyed from https://github.com/actions/checkout/blob/main/.github/workflows/update-test-ubuntu-git.yml | |
| on: | |
| # Use an on demand workflow trigger. | |
| # (Forked copies of actions/checkout won't have permission to update GHCR.io/actions, | |
| # so avoid trigger events that run automatically.) | |
| workflow_dispatch: | |
| inputs: | |
| publish: | |
| description: 'Publish to ghcr.io? (main branch only)' | |
| type: boolean | |
| required: true | |
| default: false | |
| env: | |
| REGISTRY: ghcr.io | |
| IMAGE_NAME: texmacs/texmacs-2.1.4-cd | |
| jobs: | |
| build-and-push-image: | |
| runs-on: ubuntu-latest | |
| # Sets the permissions granted to the `GITHUB_TOKEN` for the actions in this job. | |
| permissions: | |
| contents: read | |
| packages: write | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| # Use `docker/login-action` to log in to GHCR.io. | |
| # Once published, the packages are scoped to the account defined here. | |
| - name: Log in to the ghcr.io container registry | |
| uses: docker/login-action@v3.3.0 | |
| with: | |
| registry: ${{ env.REGISTRY }} | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Format Timestamp | |
| id: timestamp | |
| # Use `date` with a custom format to achieve the key=value format GITHUB_OUTPUT expects. | |
| run: date -u "+now=%Y%m%d.%H%M%S.%3NZ" >> "$GITHUB_OUTPUT" | |
| - name: Issue Image Publish Warning | |
| if: ${{ inputs.publish && github.ref_name != 'main' }} | |
| run: echo "::warning::test-ubuntu-git images can only be published from the actions/checkout 'main' branch. Workflow will continue with push/publish disabled." | |
| # Use `docker/build-push-action` to build (and optionally publish) the image. | |
| - name: Build Docker Image (with optional Push) | |
| uses: docker/build-push-action@v6.5.0 | |
| with: | |
| context: . | |
| file: Dockerfile | |
| # For now, attempts to push to ghcr.io must target the `main` branch. | |
| # In the future, consider also allowing attempts from `releases/*` branches. | |
| push: ${{ inputs.publish && github.ref_name == 'main' }} | |
| tags: | | |
| ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ github.ref_name }}.${{ steps.timestamp.outputs.now }} |