Skip to content

lint-docs: lint docs-0.8 branch (#4165) #347

lint-docs: lint docs-0.8 branch (#4165)

lint-docs: lint docs-0.8 branch (#4165) #347

name: Merge main to docs-0.8 on New Earthly Release
on:
push:
tags:
- 'v[0-9]+.[0-9]+.[0-9]+'
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
main-to-docs:
name: merge main to docs-0.8
runs-on: "ubuntu-latest"
env:
FORCE_COLOR: 1
EARTHLY_TOKEN: "${{ secrets.EARTHLY_TOKEN }}"
EARTHLY_INSTALL_ID: "earthly-githubactions"
DOCKERHUB_MIRROR_USERNAME: "${{ secrets.DOCKERHUB_MIRROR_USERNAME }}"
DOCKERHUB_MIRROR_PASSWORD: "${{ secrets.DOCKERHUB_MIRROR_PASSWORD }}"
# Used in our github action as the token - TODO: look to change it into an input
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
steps:
- uses: actions/checkout@v4
with:
token: ${{ secrets.GITHUB_TOKEN }}
- uses: earthly/actions-setup@main
- name: Execute merge
run: earthly --push --ci +merge-main-to-docs