disable Travis, enable Github Workflow push trigger

This commit is contained in:
Samuel Sadok
2020-07-17 13:25:33 +02:00
parent 06989366a5
commit a4e03ffd07
2 changed files with 3 additions and 77 deletions
+3 -3
View File
@@ -4,9 +4,9 @@ on:
pull_request:
branches: [master, devel]
tags: ['fw-v*']
#push:
# branches: [master, devel]
# tags: ['fw-v*']
push:
branches: [master, devel]
tags: ['fw-v*']
jobs:
compile: