misc: delete gh workflow

pull/1223/head
Nicolas Giard 5 years ago committed by GitHub
parent 81e6eacd6e
commit ad9ec1201b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,28 +0,0 @@
name: Docker Image CI
on:
push:
branches:
- master2
jobs:
build:
runs-on: ubuntu-latest
timeout-minutes: 30
steps:
- uses: actions/checkout@v1
- name: Build the Docker image
run: docker build . --file dev/build/Dockerfile -t requarks/wiki:dev
- name: Login to Docker Hub
run: docker login -u ${{ secrets.DOCKER_USERNAME }} -p ${{ secrets.DOCKER_PASSWORD }}
- name: Push to Docker Hub
run: docker push requarks/wiki:dev
- name: Logout from Docker Hub
run: docker logout
Loading…
Cancel
Save