Completed
Pull Request — master (#11)
by Jérémy
01:38
created

No notable changes

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

10
▶   ± 0
Head
Jérémy DECOOL  
Merge 5a7432d3ac716f497ac1ba5a22759cab307c42b0 into 6ad326b411b2cb456dd647aa1515d638552911f7
6 more commits
Base
Jérémy DECOOL  
Add Github actions badge