Skip to content

Avoid runTcInteractive in BuildDictionary#82

Draft
zliu41 wants to merge 2 commits into
compiling-to-categories:masterfrom
zliu41:orphans
Draft

Avoid runTcInteractive in BuildDictionary#82
zliu41 wants to merge 2 commits into
compiling-to-categories:masterfrom
zliu41:orphans

Run typechecker and hole fit plugins

68c4901
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs