Browse Source

misc: delete main.workflow

pull/760/head
Nicolas Giard 5 years ago
committed by GitHub
parent
commit
8b65a0873f
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 21 deletions
  1. 21
      .github/main.workflow

21
.github/main.workflow

@ -1,21 +0,0 @@
workflow "Docker build" {
on = "push"
resolves = ["Build Docker Image"]
}
action "Filter branch dev" {
uses = "actions/bin/filter@c6471707d308175c57dfe91963406ef205837dbd"
args = "branch master"
}
action "Docker Registry" {
uses = "actions/docker/login@c08a5fc9e0286844156fefff2c141072048141f6"
needs = ["Filter branch dev"]
secrets = ["DOCKER_USERNAME", "DOCKER_PASSWORD"]
}
action "Build Docker Image" {
uses = "actions/docker/cli@c08a5fc9e0286844156fefff2c141072048141f6"
needs = ["Docker Registry"]
runs = "docker build -f ./dev/build/Dockerfile -t requarks/wiki:dev ."
}
Loading…
Cancel
Save