specify when to run CI (#262)

This commit is contained in:
Fabian Neumann 2021-07-09 10:22:40 +02:00 committed by GitHub
parent 334e20a306
commit 989d8c6abf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,7 +4,15 @@
name: CI name: CI
on: [push] on:
push:
branches:
- master
pull_request:
branches:
- master
schedule:
- cron: "0 5 * * TUE"
jobs: jobs:
build: build: