馃 ci: ignore Codex informational cards in the Codex Comments gate - #4069
Open
ibetitsmike wants to merge 2 commits into
Open
馃 ci: ignore Codex informational cards in the Codex Comments gate#4069ibetitsmike wants to merge 2 commits into
ibetitsmike wants to merge 2 commits into