Activity

Showing most recent first

Merge pull request #145 from CoolCat467/switch-to-pyproject

Pull request merge

Zac-HDpushed 3 commits to master • f03160a…cd6cc14 •

on Aug 21, 2024

Merge pull request #144 from Zac-HD/upstream-hypothesis

Pull request merge

Zac-HDpushed 5 commits to master • e930e6f…f03160a •

on Jul 30, 2024

Merge pull request #135 from VincentVanlaer/fix-tests

Pull request merge

pquentinpushed 3 commits to master • 02daacb…e930e6f •

on Sep 3, 2023