Skip to content

Delete dead code for sources in streaming (#4196) #375

Delete dead code for sources in streaming (#4196)

Delete dead code for sources in streaming (#4196) #375

Workflow file for this run

name: Snapshot
on:
push:
branches:
- master
paths:
- 'cli/**'
- 'delta/**'
- 'storage/**'
- 'build.sbt'
- 'project/**'
- '.github/workflows/ci-snapshot.yml'
jobs:
publish-snapshot:
if: github.event_name == 'push'
runs-on: it
timeout-minutes: 40
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Set up proxy for docker buildx
run: |
echo http_proxy=${http_proxy} >> $GITHUB_ENV
echo https_proxy=${https_proxy} >> $GITHUB_ENV
echo no_proxy=${no_proxy} >> $GITHUB_ENV
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v2
with:
driver-opts: |
env.http_proxy=${{ env.http_proxy }}
env.https_proxy=${{ env.https_proxy }}
"env.no_proxy='${{ env.no_proxy}}'"
- name: Publish To DockerHub
run: |
echo ${{ secrets.DOCKER_PASS }} | docker login --username ${{ secrets.DOCKER_USER }} --password-stdin
sbt -Dsbt.color=always -Dsbt.supershell=false \
app/Docker/publish \
storage/Docker/publish
- name: Publish to Github Packages
run: |
sbt -Dsbt.color=always -Dsbt.supershell=false publish