Skip to content

chore: Run build and test suite jobs on MacOS and Windows #724

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

Draft
ejgallego wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

chore: Run build and test suite jobs on MacOS and Windows #724

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
1455412
chore: Run build and test suite jobs on MacOS and Windows
ejgallego Jan 30, 2026
841dc29
wip
ejgallego Jan 30, 2026
274f6e7
wip
ejgallego Jan 30, 2026
f88da04
wip
ejgallego Jan 30, 2026
8b743fb
wip
ejgallego Jan 30, 2026
cb294b9
wip
ejgallego Jan 30, 2026
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
30 changes: 26 additions & 4 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,31 +14,38 @@
jobs:
build:
name: Build and test
runs-on: nscloud-ubuntu-22.04-amd64-8x16
continue-on-error: true
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [nscloud-ubuntu-22.04-amd64-8x16, macos-latest, windows-latest]
env:
# Used for browser tests. Placing them here allows caching to work right.
PLAYWRIGHT_BROWSERS_PATH: ${{ github.workspace }}/.playwright-browsers
steps:
- name: install elan
run: |
set -o pipefail
curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
./elan-init -y --default-toolchain none
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
shell: bash

- uses: actions/checkout@v5

- name: List all files
run: |

Check warning on line 36 in .github/workflows/ci.yml

View workflow job for this annotation

GitHub Actions / Lint GitHub Actions workflows 

[actionlint] reported by reviewdog 🐶
shellcheck reported issue in this script: SC2061:warning:1:14: Quote the parameter to -name so the shell won't interpret it [shellcheck]

Raw Output:
w:.github/workflows/ci.yml:36:15: shellcheck reported issue in this script: SC2061:warning:1:14: Quote the parameter to -name so the shell won't interpret it [shellcheck]
find . -name "*.lean" -type f
find . -name \"*.lean\" -type f
shell: bash

- name: lean version
run: |
lean --version
shell: bash

- name: Compute short SHA
id: shortSHA
run: echo "short_sha=$(git rev-parse --short HEAD)" >> "$GITHUB_OUTPUT"
shell: bash

- name: Cache .lake
uses: actions/cache@v4
Expand All @@ -59,10 +66,12 @@
lake build
lake build :examples
popd
shell: bash

- name: Build the project
run: |
lake build
shell: bash

- name: Install PDF Dependencies
uses: zauguin/install-texlive@v4
Expand Down Expand Up @@ -109,23 +118,28 @@

- name: Check `tlmgr` version
run: tlmgr --version
shell: bash

- name: Run tests
run: |
lake test -- --verbose --check-tex
shell: bash

- name: Generate the test website
run: |
lake exe demosite --output _out/test-projects/demosite
shell: bash

- name: Generate the test genre's document
run: |
lake exe simplepage
shell: bash

- name: Generate some source HTML
run: |
lake build Verso.Hover:literate
lake exe verso-html .lake/build/literate htmlout
shell: bash

- name: Check internal links on the test website
uses: lycheeverse/[email protected]
Expand Down Expand Up @@ -188,6 +202,14 @@
run: uv run --project browser-tests --extra test pytest browser-tests -v
# End browser testing

upload:
name: Upload Artifact and Releases
needs: build
runs-on: nscloud-ubuntu-22.04-amd64-8x16
env:
# Used for browser tests. Placing them here allows caching to work right.
PLAYWRIGHT_BROWSERS_PATH: ${{ github.workspace }}/.playwright-browsers
steps:
- name: Upload docs to artifact storage
if: github.ref_type != 'tag' && github.ref != 'refs/heads/main'
uses: actions/upload-artifact@v4
Expand Down
Loading