Skip to content

chore: stop HTTP gateway gracefully (#4009) #2896

chore: stop HTTP gateway gracefully (#4009)

chore: stop HTTP gateway gracefully (#4009) #2896

name: Publish manifest
on:
push:
branches:
- master
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
env:
# When getting Rust dependencies, retry on network error:
CARGO_NET_RETRY: 10
# Use the local .curlrc
CURL_HOME: .
jobs:
publish-manifest:
name: install-script-shellcheck:required
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install shfmt
run: go install mvdan.cc/sh/v3/cmd/shfmt@latest
- name: Generate
run: |
shellcheck --shell=sh public/install-dfxvm.sh --exclude SC2154,SC2034,SC3003,SC3014,SC3043
~/go/bin/shfmt -d -p -i 4 -ci -bn -s public/install-dfxvm.sh
sed -i "s/@revision@/${GITHUB_SHA}/" public/install-dfxvm.sh
mkdir _out
cp public/install-dfxvm.sh _out/install.sh
cp public/manifest.json _out/manifest.json
- name: Upload Artifacts
if: github.event_name == 'push'
uses: JamesIves/github-pages-deploy-action@releases/v3
with:
single_commit: yes
branch: public-manifest
folder: _out/