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

No notable changes

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

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