2 commits

Author	SHA1	Message	Date
math-gh	e557fb8d0f	added the rules	2023-09-04 22:30:28 +02:00
Alexis Degrugillier	e7d1134343	Add github action to build extension list (#127)	2022-01-12 12:01:39 +01:00