Skip to content
Nix CI

[ re #431 ] Use same strategy for inlining types as for terms #285

Sign in to view logs

[ re #431 ] Use same strategy for inlining types as for terms

[ re #431 ] Use same strategy for inlining types as for terms #285

Test building inside a nix shell

Test building inside a nix shell
succeeded Nov 5, 2025 in 1m 26s