Skip to content

Merge pull request #126 from NoRedInk/nri-redi-0.2.0.3 #81

Merge pull request #126 from NoRedInk/nri-redi-0.2.0.3

Merge pull request #126 from NoRedInk/nri-redi-0.2.0.3 #81

ci (ubuntu-22.04, nixos-24.05, ghc-9-6)

succeeded Dec 2, 2024 in 4m 4s