CI: treat schedules like triggers; rely on nightly build for iris-examples like everything else

4 jobs for master in 15 minutes and 40 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #8472
fp

00:04:38

passed build-coq.8.7.0 #8471
fp

00:04:23

passed build-coq.8.7.1 #8470
fp-timing

00:04:01

passed build-coq.dev #8469
fp

00:11:39