Skip to content

Commit d1be6a4

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

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,3 +1,4 @@
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.
33

4+

0 commit comments

Comments
 (0)