pre-release #1072
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: "pre-release" | |
defaults: | |
run: | |
shell: bash | |
on: | |
workflow_run: | |
workflows: ["CI"] | |
branches: [ trunk ] | |
types: | |
- completed | |
jobs: | |
build_linux: | |
name: "build_linux" | |
runs-on: ubuntu-20.04 | |
steps: | |
- uses: actions/checkout@v2 | |
- name: install stack (Linux) | |
working-directory: ${{ github.workspace }} | |
run: | | |
mkdir stack && cd stack | |
curl -L https://github.com/commercialhaskell/stack/releases/download/v2.9.1/stack-2.9.1-linux-x86_64.tar.gz | tar -xz | |
echo "$PWD/stack-"* >> $GITHUB_PATH | |
# One of the transcripts fails if the user's git name hasn't been set. | |
- name: set git user info | |
run: | | |
git config --global user.name "GitHub Actions" | |
git config --global user.email "[email protected]" | |
- name: build | |
run: stack --no-terminal build --flag unison-parser-typechecker:optimized | |
- name: fetch latest Unison Local UI and package with ucm | |
run: | | |
mkdir -p /tmp/ucm/ui | |
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison | |
cp $UCM /tmp/ucm/ucm | |
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip | |
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip | |
tar -c -z -f ucm-linux.tar.gz -C /tmp/ucm . | |
- name: Upload linux artifact | |
uses: actions/upload-artifact@v2 | |
with: | |
if-no-files-found: error | |
name: build-linux | |
path: ucm-linux.tar.gz | |
build_macos: | |
name: "build_macos" | |
runs-on: macos-12 | |
steps: | |
- uses: actions/checkout@v2 | |
- name: install stack (macOS) | |
working-directory: ${{ github.workspace }} | |
run: | | |
mkdir stack && cd stack | |
curl -L https://github.com/commercialhaskell/stack/releases/download/v2.9.1/stack-2.9.1-osx-x86_64.tar.gz | tar -xz | |
echo "$PWD/stack-"* >> $GITHUB_PATH | |
# One of the transcripts fails if the user's git name hasn't been set. | |
- name: set git user info | |
run: | | |
git config --global user.name "GitHub Actions" | |
git config --global user.email "[email protected]" | |
- name: remove ~/.stack/setup-exe-cache on macOS | |
run: rm -rf ~/.stack/setup-exe-cache | |
- name: build | |
run: stack --no-terminal build --flag unison-parser-typechecker:optimized | |
- name: fetch latest Unison Local UI and package with ucm | |
run: | | |
mkdir -p /tmp/ucm/ui | |
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison | |
cp $UCM /tmp/ucm/ucm | |
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip | |
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip | |
tar -c -z -f ucm-macos.tar.gz -C /tmp/ucm . | |
- name: Upload macos artifact | |
uses: actions/upload-artifact@v2 | |
with: | |
if-no-files-found: error | |
name: build-macos | |
path: ucm-macos.tar.gz | |
build_windows: | |
name: "build_windows" | |
runs-on: windows-2019 | |
steps: | |
- uses: actions/checkout@v2 | |
- name: install stack (windows) | |
working-directory: ${{ github.workspace }} | |
if: runner.os == 'Windows' | |
run: | | |
mkdir stack && cd stack | |
curl -L https://github.com/commercialhaskell/stack/releases/download/v2.9.1/stack-2.9.1-windows-x86_64.tar.gz | tar -xz | |
echo "$PWD/stack-"* >> $GITHUB_PATH | |
- name: build | |
# Run up to 5 times in a row before giving up. | |
# Builds sometimes fail due to a race condition on the Windows | |
# file-system API that stack runs into. Since any successful packages are | |
# cached within a single build, it should get further along on each re-start | |
# and should hopefully finish. | |
run: | | |
tries=5 | |
for (( i = 0; i < $tries; i++ )); do | |
stack --no-terminal build --flag unison-parser-typechecker:optimized && break; | |
done | |
- name: fetch latest codebase-ui and package with ucm | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
# Powershell | |
shell: pwsh | |
run: | | |
mkdir -p tmp\ui | |
mkdir -p release\ui | |
$UCM = .\stack\stack-2.9.1-windows-x86_64\stack.exe exec -- where unison | |
cp $UCM .\release\ucm.exe | |
Invoke-WebRequest -Uri https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip -OutFile tmp\unisonLocal.zip | |
Expand-Archive -Path tmp\unisonLocal.zip -DestinationPath release\ui | |
Compress-Archive -Path .\release\* -DestinationPath ucm-windows.zip | |
- name: Upload windows artifact | |
uses: actions/upload-artifact@v2 | |
with: | |
if-no-files-found: error | |
name: build-windows | |
path: ucm-windows.zip | |
release: | |
name: "create_release" | |
runs-on: ubuntu-20.04 | |
needs: | |
- build_linux | |
- build_macos | |
- build_windows | |
steps: | |
- name: make download dir | |
run: "mkdir /tmp/ucm" | |
- name: "download artifacts" | |
uses: actions/download-artifact@v2 | |
with: | |
path: /tmp/ucm | |
- uses: actions/checkout@v2 | |
- uses: "marvinpinto/action-automatic-releases@latest" | |
with: | |
repo_token: "${{ secrets.GITHUB_TOKEN }}" | |
automatic_release_tag: "latest" | |
prerelease: true | |
title: "Development Build" | |
files: | | |
/tmp/ucm/**/*.tar.gz | |
/tmp/ucm/**/*.zip |