Completed
Pull Request — master (#11)
by Jérémy
02:47 queued 01:04
created

No notable changes

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

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