Skip to content

Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes)

17aaad5
Select commit
Loading
Failed to load commit list.
Merged

Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes) #465

Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes)
17aaad5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs