aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/main.yml
diff options
context:
space:
mode:
authorChristian Segundo2023-05-28 15:13:28 +0200
committerChristian Segundo2023-06-03 18:21:19 +0200
commit72c64b9c28ce14fe6b42ef76cbfae770936a6d06 (patch)
treede07898cafc71c2fc7abed7f3861887ae5fa3243 /.github/workflows/main.yml
parent883ee04811b43f348d86359bba13701730cfcfee (diff)
downloadlanguagetool-72c64b9c28ce14fe6b42ef76cbfae770936a6d06.tar.gz
Move to buildkite/dockerhub
Diffstat (limited to '.github/workflows/main.yml')
-rw-r--r--.github/workflows/main.yml40
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"