Skip to content

flake.nix: remove unused devshell input #544

flake.nix: remove unused devshell input

flake.nix: remove unused devshell input #544

ubuntu-24.04 JDK 23

succeeded Mar 10, 2025 in 1m 18s