Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix macOS CI #31

Merged
merged 4 commits into from
Oct 24, 2023
Merged

Fix macOS CI #31

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
a072fc8
ci: don't copy macOS metadata files
Vtec234 Oct 24, 2023
ba59408
ci: build widgets separately
Vtec234 Oct 24, 2023
73d7ec3
ci: typo
Vtec234 Oct 24, 2023
98cef3b
ci: install more ram
Vtec234 Oct 24, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 10 additions & 2 deletions .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,9 +42,15 @@ jobs:

- uses: actions/checkout@v4

# TODO: investigate why `lake build` deadlocks on macOS
- name: Build widgets
run: npm clean-install && npm run build
working-directory: ./widget
env:
NODE_OPTIONS: "--max-old-space-size=4096"

- name: Build package
if: steps.cache-build.outputs.cache-hit != 'true'
run: lake build
run: lake build ProofWidgets

- name: Create release for tag
if: github.ref_type == 'tag'
Expand All @@ -53,10 +59,12 @@ jobs:
# TODO: replace with just `lake upload $RELEASE_TAG` when lean4#2713 is fixed
# References:
# https://docs.github.com/en/actions/learn-github-actions/contexts#runner-context
# https://stackoverflow.com/questions/8766730/tar-command-in-mac-os-x-adding-hidden-files-why
- name: Upload release archive
if: github.ref_type == 'tag'
# All our runners are 64-bit ¯\_(ツ)_/¯
run: |
export COPYFILE_DISABLE=true
tar -c -z -f ./${LEAN_OS}-64.tar.gz -C ./build .
gh release upload ${RELEASE_TAG} ./${LEAN_OS}-64.tar.gz
env:
Expand Down