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

No notable changes

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

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