edit-jenkinsfile #71

Merged
oliver merged 25 commits from edit-jenkinsfile into master 2020-05-15 22:23:34 +00:00
Collaborator

added simple pipeline for building and deploying newest version of master branch

added simple pipeline for building and deploying newest version of master branch
falk added this to the MVP Version 0.1 milestone 2020-05-15 22:18:59 +00:00
falk added the enhancementbackend labels 2020-05-15 22:19:01 +00:00
oliver was assigned by falk 2020-05-15 22:19:03 +00:00
oliver approved these changes 2020-05-15 22:22:12 +00:00
@@ -8,4 +33,3 @@
}
}
}
}
Owner

important change

important change
oliver closed this pull request 2020-05-15 22:23:34 +00:00
oliver deleted branch edit-jenkinsfile 2020-05-15 22:24:17 +00:00
Sign in to join this conversation.