Skip to content

chore: switch back to clang 8 - #48

Closed
Kha wants to merge 1 commit into
leanprover:masterfrom
Kha:i-prefer-known-compiler-bugs
Closed

chore: switch back to clang 8#48
Kha wants to merge 1 commit into
leanprover:masterfrom
Kha:i-prefer-known-compiler-bugs

chore: switch back to clang 8

7f03928
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs