Skip to content
Snippets Groups Projects

Resolve "panic when entering "a"" ✨️

Canceled
belazy created pipeline for commit f296610c
, finished
For 75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration
4 jobs 1 minute 19 seconds, queued for 2 seconds