Skip to content

Fix compile error by making Tagged import public#476

Merged
mbrandonw merged 2 commits into
pointfreeco:mainfrom
joseph-elmallah:fix-tagged-compile-error
Jun 6, 2026
Merged

Fix compile error by making Tagged import public#476
mbrandonw merged 2 commits into
pointfreeco:mainfrom
joseph-elmallah:fix-tagged-compile-error

Enable SQLiteDataTagged trait in CI.

3e9a9c3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view