summaryrefslogtreecommitdiffstats
path: root/etc/crontab
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2015-04-13 11:04:10 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2015-04-13 11:04:10 (GMT)
commit4987e31ab982feef0c2855ad28a37b1780f01f0a (patch)
treeddc5991729b4abc6c6a952689b19c22fc445ba13 /etc/crontab
parent3f6c8dc0ebb3ee898b76212a58fa17c4ed48771c (diff)
downloadsite-4987e31ab982feef0c2855ad28a37b1780f01f0a.tar.gz
Submit code to Coverity Scan via Cron
Let Coverity Scan check our "maint" and "master" branches once per week. Currently, Coverity Scan permits up to 8 builds per week for projects with 100K to 500K lines of code: https://scan.coverity.com/faq#frequency
Diffstat (limited to 'etc/crontab')
-rw-r--r--etc/crontab4
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/crontab b/etc/crontab
index 4470850..896c982 100644
--- a/etc/crontab
+++ b/etc/crontab
@@ -1,4 +1,4 @@
1# vim:set filetype=crontab: 1# vim:set filetype=crontab nowrap:
2# 2#
3# $HOME/etc/crontab 3# $HOME/etc/crontab
4# 4#
@@ -6,3 +6,5 @@ MAILTO=admin@monitoring-plugins.org
6# 6#
7*/10 * * * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git 7*/10 * * * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git
844 4 * * * $HOME/bin/check-mirrors 844 4 * * * $HOME/bin/check-mirrors
922 6 * * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master
1022 6 * * 3 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity maint:coverity/maint