Skip to content

[safety] Weaken lifetime in get_xde_state()#1016

Open
daniel-levin wants to merge 1 commit into
masterfrom
c3
Open

[safety] Weaken lifetime in get_xde_state()#1016
daniel-levin wants to merge 1 commit into
masterfrom
c3

[safety] Weaken lifetime in get_xde_state()

2a1be40
Select commit
Loading
Failed to load commit list.
buildomat / *control succeeded Jun 30, 2026 in 32s

Checks underway.

Plan loaded from commit 2a1be40. Plan approved by user "daniel-levin".