ci: push perf test metrics even when the testsuite doesn't pass
[ghc.git] / docs / core-spec /
drwxr-xr-x   ..
-rw-r--r-- 58 .gitignore
-rw-r--r-- 18520 CoreLint.ott
-rw-r--r-- 29498 CoreSyn.ott
-rw-r--r-- 508 Makefile
-rw-r--r-- 4158 OpSem.ott
-rw-r--r-- 4048 README
-rw-r--r-- 23331 core-spec.mng
-rw-r--r-- 366905 core-spec.pdf