[jbosstools-issues] [JBoss JIRA] (JBIDE-24518) change github check frequency for CI builds from 8hrs to 20 mins