Skip to content

Merge pull request #489 from tock/dev/2025-01-26-nix-shell-updates #1930

Merge pull request #489 from tock/dev/2025-01-26-nix-shell-updates

Merge pull request #489 from tock/dev/2025-01-26-nix-shell-updates #1930

ci-format (ubuntu-22.04)

succeeded Jan 27, 2025 in 1m 47s