Commit e3a5ae79 authored by David Davó's avatar David Davó

Updated docker workflow

parent 08627708
name: "Docker" name: "Docker"
on: on:
workflow_dispatch:
push: push:
branches: branches:
- master - master
...@@ -23,7 +25,7 @@ jobs: ...@@ -23,7 +25,7 @@ jobs:
- uses: actions/checkout@01aecccf739ca6ff86c0539fbc67a7a5007bbc81 - uses: actions/checkout@01aecccf739ca6ff86c0539fbc67a7a5007bbc81
- uses: elgohr/Publish-Docker-Github-Action@f7aca2fea76a5218f3c76cd5933c3ba1d8008774 - uses: elgohr/Publish-Docker-Github-Action@f7aca2fea76a5218f3c76cd5933c3ba1d8008774
with: with:
name: gibiansky/ihaskell name: daviddavo/ihaskell
username: ${{ secrets.DOCKER_USERNAME }} username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_PASSWORD }} password: ${{ secrets.DOCKER_PASSWORD }}
snapshot: true snapshot: true
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment