Skip to content

DP: name the backend that proves each slow step - #249

Merged
lemmy merged 1 commit into
tlaplus:masterfrom
lemmy:mku-dp-proof-timeout
Oct 29, 2026
Merged

DP: name the backend that proves each slow step#249
lemmy merged 1 commit into
tlaplus:masterfrom
lemmy:mku-dp-proof-timeout

DP: name the backend that proves each slow step.

2a6804f
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 29, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO