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

Triggered via push November 5, 2025 16:04
@jespercockxjespercockx
pushed ef10a1a
master
Status Success
Total duration 1m 29s
Artifacts –

nix-ci.yml

on: push
Test building inside a nix shell
1m 26s
Test building inside a nix shell
Matrix: nix-build
Fit to window
Zoom out
Zoom in