Skip to content
SPARK Theatre Gate

proof(SafeArchive): DISCHARGE max{CompressionRatio,TotalSize} via Refl (proven#90, #107) #216

Sign in to view logs

proof(SafeArchive): DISCHARGE max{CompressionRatio,TotalSize} via Refl (proven#90, #107)

proof(SafeArchive): DISCHARGE max{CompressionRatio,TotalSize} via Refl (proven#90, #107) #216

Triggered via pull request May 30, 2026 16:37
@hyperpolymathhyperpolymath
opened #109
proof/safearchive-nat-anchors
Status Success
Total duration 4h 41m 17s
Artifacts –

spark-theatre-gate.yml

on: pull_request
spark-theatre-gate  /  SPARK Theatre Gate
4s
spark-theatre-gate / SPARK Theatre Gate
Fit to window
Zoom out
Zoom in