Skip to content

Commit 23306f9

Browse files
ci: retrigger chronos-check
1 parent b7ee464 commit 23306f9

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

docs/PSH_STATUS.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
11
PSH is used only in rank-bounded form PSH_{k,Δ,r} (r-round k-pebble / FO^k rank ≤ r).
22
No unbounded-round pebble game, no full FO^k, and no global k-WL stabilization is assumed.
3+

0 commit comments

Comments
 (0)