Skip to content

fix: change what status displays on `depends_on`

a415a2a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: add depends on rocq concept status #329

fix: change what status displays on `depends_on`
a415a2a
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded Apr 21, 2026 in 32s