Skip to content

Preds are just Core preds with ✨flavour✨ - #382

Merged
NatKarmios merged 1 commit into
masterfrom
predicates-as-core
Jul 1, 2026
Merged

Preds are just Core preds with ✨flavour✨#382
NatKarmios merged 1 commit into
masterfrom
predicates-as-core

make predicates just core predicates

5d8aae9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
docker-build
succeeded Jul 1, 2026 in 14m 0s