Skip to content

Conversation

@josh
Copy link
Owner

@josh josh commented Nov 13, 2025

Reverts #1406

@josh josh marked this pull request as ready for review November 13, 2025 21:31
Copilot AI review requested due to automatic review settings November 13, 2025 21:31
Copilot finished reviewing on behalf of josh November 13, 2025 21:32
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR restores Mason's Java (JDK) and Julia dependencies that were previously removed in PR #1406. The changes add these language runtimes back to Mason's extraPackages and update test configurations accordingly.

  • Adds jdk and julia to Mason's build dependencies in plugins.nix
  • Removes Java-related warning ignores from test configurations (since JDK is now provided)
  • Implements conditional Julia inclusion based on platform availability using lib.meta.availableOn

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
plugins.nix Adds jdk to function parameters and Mason's extraPackages list; adds julia conditionally based on platform availability
pkgs/tests/mason-nvim-checkhealth.nix Adds required parameters (lib, stdenv, julia) and conditionally ignores Julia warning based on platform support
pkgs/LazyVim.nix Adds required parameters (stdenv, julia) and conditionally ignores Julia warning in Mason health check based on platform support

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@josh josh force-pushed the revert-1406-codex/disable-java-and-openjdk-dependencies branch from 48755be to 16c3cc4 Compare November 14, 2025 00:07
@josh josh enabled auto-merge November 14, 2025 00:07
@josh josh merged commit c134e9b into main Nov 14, 2025
4 checks passed
@josh josh deleted the revert-1406-codex/disable-java-and-openjdk-dependencies branch November 14, 2025 00:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants