merge master

This commit is contained in:
Pierre Dubouilh
2019-10-15 19:53:03 +02:00
4 changed files with 7 additions and 2 deletions
+1 -1
View File
@@ -1,5 +1,5 @@
name: ci
on: [push]
on: [push, pull_request]
jobs:
build: