4 Commits

Author	SHA1	Message	Date
Ondřej Šebek	95f2247657	Filter paths that run CI (#279) ... * Filter paths that run CI * Add dummy CI to check	2021-11-07 14:39:10 +01:00
Brent Yorgey	d8e3334cad	update CI and include the test suite (#165)	2021-10-03 21:29:08 -05:00
Tristan de Cacqueray	9c18edc4cf	Configure squash commit message to use title+body (#95)	2021-09-27 16:36:18 -05:00
Tristan Cacqueray	50e9558071	Add mergify configuration ... This change configures the mergify bot so that: - PR are validated with the tip of the project before merge to prevent incompatible PRs to be merged at once which could break the CI. - PR maintainer uses a consistent smart squash workflow	2021-09-26 19:44:38 +00:00