Completed
Pull Request — master (#11)
by Jérémy
03:13 queued 01:24
created

No notable changes

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

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