Merge branch 'master' into web

This commit is contained in:
Héctor Ramón Jiménez 2019-09-21 13:51:03 +02:00
commit 0a93be78b8
4 changed files with 4 additions and 2 deletions

View file

@ -1,5 +1,5 @@
name: Integration
on: [push]
on: [push, pull_request]
jobs:
test:
runs-on: ${{ matrix.os }}