Skip to content

D-STO-5: history as a fold over resident log records (0.72 ms, was 336 ms) - #25

Merged
AdaWorldAPI merged 2 commits into
mainfrom
ccr-1d749cc5-q8s5qs
Oct 10, 2026
Merged

D-STO-5: history as a fold over resident log records (0.72 ms, was 336 ms)#25
AdaWorldAPI merged 2 commits into
mainfrom
ccr-1d749cc5-q8s5qs

Board: D-STO-5 passes P-HIST-1 as a resident fold (0.72 ms)

ffc56bf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar