Skip to content
Docs

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

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 #204

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

docs.yml

on: push
Matrix: deploy
Fit to window
Zoom out
Zoom in