Skip to content

Mining with WorkObjects #21

Mining with WorkObjects

Mining with WorkObjects #21

Workflow file for this run

name: Build and Deploy to Dev
on:
pull_request:
types: [closed]
branches: [ "main" ]
jobs:
buildDeployDev:
if: github.event.pull_request.merged == true
uses: ./.github/workflows/build-deploy.yml
secrets:
DOCKER: ${{ secrets.DOCKER }}
GH_PAT: ${{ secrets.GH_PAT }}
GPG_PRIVATE_KEY: ${{ secrets.GPG_PRIVATE_KEY }}
GPG_PASSPHRASE: ${{ secrets.GPG_PASSPHRASE }}
with:
awk: awk -F. '{print $1"."$2"."$3"."$4+1}'