disable github CI

This commit is contained in:
João Moreno
2020-04-07 17:29:00 +02:00
parent 6e89889166
commit bf09a2871a

View File

@@ -1,14 +1,14 @@
name: CI
on:
push:
branches:
- master
- release/*
pull_request:
branches:
- master
- release/*
# on:
# push:
# branches:
# - master
# - release/*
# pull_request:
# branches:
# - master
# - release/*
jobs:
linux: