Completed
Pull Request — master (#2024)
by François-Xavier
38s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
François-Xavier de Guillebon  
Merge d507b079de82de113f6e8d86cf655c49d6cd2068 into 10fd6386c1ffc0c63e1d75bb80b4c1c1dbee3cba
2 more commits
Base
François-Xavier de Guillebon  
Simplify github action matrix (#2025)