ci: Run mariadb tests after PR merge for coverage badge

This commit is contained in:
Suraj Shetty 2021-05-28 13:39:53 +05:30 committed by GitHub
parent 1a5c21c759
commit 97687839b0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,10 @@
name: Server
on: [pull_request, workflow_dispatch]
on:
pull_request:
workflow_dispatch:
push:
branches: [ develop ]
jobs:
test: