Skip to content

Allow accumulating Dbs (and other things) into Dbs - #890

Open
Janno wants to merge 7 commits into
LPCIC:masterfrom
Janno:janno/db-everything
Open

Allow accumulating Dbs (and other things) into Dbs#890
Janno wants to merge 7 commits into
LPCIC:masterfrom
Janno:janno/db-everything

Fix tests: Avoid `Elpi derive` (not what the cmd is called anymore)

9c9950a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Aug 24, 2026 in 51s