Skip to content

Dev KernelInterface on Windows too #775

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

Merged
christiangnrd merged 2 commits into from
Sep 12, 2026
+12 −5
Merged

Dev KernelInterface on Windows too #775

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f9ac99a
[CI] Dev KernelInterface on Windows too
vchuravy Sep 9, 2026
da630d7
[CI] Document the 1.10 `[sources]` limitation behind the dev step
vchuravy Sep 9, 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
17 changes: 12 additions & 5 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -145,12 +145,17 @@ jobs:
# Nightly tracks the next Julia release; don't fail CI on it
- uses: julia-actions/julia-buildpkg@v1
continue-on-error: ${{ matrix.version == 'nightly' }}
# Known limitation: `[sources]` is only supported from Julia 1.11 on, so on 1.10
# the `KernelInterface = {path = "lib/KernelInterface"}` entry in Project.toml is
# silently ignored and Pkg resolves KernelInterface from the registry instead --
# a stale release that need not have the features this repo's copy adds. Dev it
# explicitly so 1.10 tests the copy in this repo, like 1.11+ already do.
#
# Required on every platform. Windows runs its tests de-escalated below, but that
# applies to the test run only, not to `Pkg.develop`.
- name: Dev KernelInterface
if: runner.os != 'Windows'
run: |
julia -e 'using Pkg
Pkg.activate(".")
Pkg.develop(; path="lib/KernelInterface")'
shell: bash
run: julia -e 'using Pkg; Pkg.activate("."); Pkg.develop(; path="lib/KernelInterface")'
- uses: julia-actions/julia-runtest@v1
if: runner.os != 'Windows'
continue-on-error: ${{ matrix.version == 'nightly' }}
Expand Down Expand Up @@ -215,6 +220,8 @@ jobs:
- uses: julia-actions/cache@v3
- uses: julia-actions/julia-buildpkg@v1
continue-on-error: ${{ matrix.version == 'nightly' }}
# KernelInterface is dev'ed explicitly here for the same reason as in the CI job
# above: Julia 1.10 does not support `[sources]`.
- name: "Instantiating project"
run: |
julia -e 'println("--- :julia: Instantiating project")
Expand Down
Loading