diff options
author | Christian Segundo | 2023-05-28 15:13:28 +0200 |
---|---|---|
committer | Christian Segundo | 2023-06-03 18:21:19 +0200 |
commit | 72c64b9c28ce14fe6b42ef76cbfae770936a6d06 (patch) | |
tree | de07898cafc71c2fc7abed7f3861887ae5fa3243 /.github/workflows/main.yml | |
parent | 883ee04811b43f348d86359bba13701730cfcfee (diff) | |
download | languagetool-72c64b9c28ce14fe6b42ef76cbfae770936a6d06.tar.gz |
Move to buildkite/dockerhub
Diffstat (limited to '.github/workflows/main.yml')
-rw-r--r-- | .github/workflows/main.yml | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml deleted file mode 100644 index a8a47ef..0000000 --- a/.github/workflows/main.yml +++ /dev/null @@ -1,40 +0,0 @@ - -name: Build -on: - push: - branches: [ master ] - schedule: - - cron: '5 4 * * *' - workflow_dispatch: - -jobs: - build: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - run: | - make docker-test - - push: - runs-on: ubuntu-latest - needs: [ build ] - permissions: - packages: write - contents: read - steps: - - uses: actions/checkout@v2 - with: - fetch-depth: 0 - - - uses: docker/login-action@v1 - env: - GITHUB_USER: ${{ github.actor }} - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - with: - registry: ghcr.io - username: $GITHUB_USER - password: ${{ secrets.GITHUB_TOKEN }} - - - run: | - make docker-push \ - DOCKER_EXTRA_ARGS="-v ${HOME}/.docker:/root/.docker" |