Skip to content
MetaCoq CI

Fix quoting and unquoting of primitive strings (#1109) #160

Sign in to view logs

Fix quoting and unquoting of primitive strings (#1109)

Fix quoting and unquoting of primitive strings (#1109) #160

checktodos

checktodos
succeeded Oct 30, 2024 in 3s