chore: switch back to clang 8 - #48

chore: switch back to clang 8#48

Kha wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

Kha:i-prefer-known-compiler-bugsKha/lean4:i-prefer-known-compiler-bugsCopy head branch name to clipboard