Skip to content

flake.nix: remove unused devshell input (#145) #546

flake.nix: remove unused devshell input (#145)

flake.nix: remove unused devshell input (#145) #546

ubuntu-24.04 JDK 23

succeeded Mar 11, 2025 in 1m 9s