Compare commits

...
A pull request between these branches already exists: solene/vger#5

add some CI #5