Skip to content
Back to pull request #1278

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) #2165

Sign in to view logs

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276)

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) #2165

hs  /  build

hs / build
succeeded Sep 9, 2026 in 4m 18s