Passed
Pull Request — master (#22)
by
unknown
04:14 queued 02:25
created

Changes

9.84
▶   ± 0
Head
Ioannis Igoumenos  
Merge 643c1665ba0ec441084dc4678a38632bcdb36a06 into b5f30a327ea151b3b5273aa4ffb16a0a30d034cd
2 more commits
Base
Tim van Dijen  
Fix CI dependency cache