Skip to content
Open
Changes from all commits
Commits
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
15 changes: 13 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,12 @@ on:
branches: ["main"]
pull_request:
branches: ["main"]
workflow_dispatch:
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why don't we just run macos after check-in (push event)?
We run miri-tests on post check-in: if: ${{ github.event_name == 'push' }}

inputs:
run_macos:
description: "Run macOS CI jobs (slow runners, opt-in)"
type: boolean
default: false
Comment thread
harsha-simhadri marked this conversation as resolved.

name: CI

Expand Down Expand Up @@ -361,17 +367,21 @@ jobs:
--package diskann-quantization \
-- --skip compile_tests

# macOS is opt-in since it is slow to provision.
# It is excluded from the default push/PR matrix, and only included for manually
# dispatched runs when `run_macos: true` is set.
test-workspace:
needs: basics
name: test workspace
if: ${{ matrix.os != 'macos-latest' || (github.event_name == 'workflow_dispatch' && inputs.run_macos) }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- windows-latest
- ubuntu-latest
- ubuntu-24.04-arm
- macos-latest
- macos-latest # skipped unless manually triggered

steps:
- uses: actions/checkout@v4
Expand All @@ -397,13 +407,14 @@ jobs:
test-workspace-features:
needs: basics
name: test workspace (all features)
if: ${{ matrix.os != 'macos-latest' || (github.event_name == 'workflow_dispatch' && inputs.run_macos) }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- windows-latest
- ubuntu-latest
- macos-latest
- macos-latest # skipped unless manually triggered

steps:
- uses: actions/checkout@v4
Expand Down