This repository was archived by the owner on Mar 14, 2023. It is now read-only.
This repository was archived by the owner on Mar 14, 2023. It is now read-only.
Add some local tests #219
Description
This is something I discussed with @pietroalbini on discord: adding some local tests to check if a given github event outputs the expected thing would be a big step into removing some bugs we currently have (and it won't hurt).