Skip to content

Bump rigour from 1.7.5 to 1.8.2#429

Open
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/pip/rigour-1.8.2
Open

Bump rigour from 1.7.5 to 1.8.2#429
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/pip/rigour-1.8.2

Commits

Commits on Apr 17, 2026