Skip to content

Port part 2 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (2 functions) - #4573

Merged
gHashTag merged 2 commits into
masterfrom
queen-4386
Sep 22, 2026
Merged

gHashTag merged 2 commits into
masterfrom
queen-4386

docs: the coordination entry this branch needs to land

c554e39
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar