Skip to content
MetaCoq CI

Fix quoting and unquoting of primitive strings (#1109) for 8.20 #2871

Sign in to view logs

Fix quoting and unquoting of primitive strings (#1109) for 8.20

Fix quoting and unquoting of primitive strings (#1109) for 8.20 #2871

checktodos

checktodos
succeeded Oct 30, 2024 in 6s