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

No notable changes

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

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