add proof field #12
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
| on: | |
| push: | |
| tags: | |
| - 'v[0-9]+.[0-9]+.[0-9]+' | |
| - 'v[0-9]+.[0-9]+.[0-9]+-rc[0-9]+' | |
| - 'v[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+' | |
| jobs: | |
| converge: | |
| name: Converge | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - name: Install werf | |
| uses: werf/actions/[email protected] | |
| - name: Log in to registry | |
| # This is where you will update the personal access token to GITHUB_TOKEN | |
| run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u $ --password-stdin | |
| - name: Run echo | |
| run: | | |
| werf version | |
| docker version | |
| echo $GITHUB_REPOSITORY | |
| echo $GITHUB_REF_NAME | |
| - name: Run Build | |
| run: | | |
| . $(werf ci-env github --as-file) | |
| werf export service --tag ghcr.io/$GITHUB_REPOSITORY:$GITHUB_REF_NAME |