actions/lint
1
0
Fork 0
mirror of https://github.com/super-linter/super-linter.git synced 2024-11-25 07:31:05 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Merge pull request #42 from github/addDevDeployment

Browse source 
remove it
This commit is contained in:
Lukas Gravley 2020-01-09 13:32:46 -06:00 committed by GitHub
commit 1a54fcf66b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/cleanup-DEV.yml vendored
View file

@ -35,14 +35,12 @@ jobs:
# Checkout the code base #
##########################
- name: Checkout Code
if: github.event.pull_request.merged
uses: actions/checkout@master
######################
# Run Removal script #
######################
- name: Remove old image from DockerHub
if: github.event.pull_request.merged
env:
# Set the Env Vars
DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}