Skip to content

feat: Add MIRI check to CI pipeline#104

Open
dotandev wants to merge 1 commit intoInferara:mainfrom
dotandev:feat/add-miri-check
Open

feat: Add MIRI check to CI pipeline#104
dotandev wants to merge 1 commit intoInferara:mainfrom
dotandev:feat/add-miri-check

Commits

Commits on Jan 22, 2026