generalize notion of jobs_backlogged_at

This is a general definition and not specific to a particular
implementation.
17 jobs for impl-uni-sched in 13 minutes and 51 seconds
Status Job ID Name Coverage
  Build
passed #61467
1.10.0-coq-8.10

00:12:22

passed #61468
1.10.0-coq-8.11

00:13:10

passed #61466
1.10.0-coq-8.9

00:13:16

passed #61464
1.9.0-coq-8.10

00:12:35

passed #61465
1.9.0-coq-8.11

00:13:09

passed #61463
1.9.0-coq-8.9

00:12:47

passed #61469
build-for-process

00:04:53

failed #61470
build-for-process-classic

00:01:37

passed #61473
coq-8.10

00:11:57

passed #61474
coq-dev

00:11:52

passed #61471
proof-length

00:01:57

passed #61472
spell-check

00:01:57

 
  Process
passed #61477
doc

00:00:45

skipped #61478
doc-classic
passed #61479
proof-state

00:07:51

passed #61475
validate

00:01:58

skipped #61476
validate-classic
 
Name Stage Failure
failed
build-for-process-classic Build
Warning: Nothing to inject.
COQC util/rewrite_facilities.v
COQC util/lcmseq.v
make[1]: *** No rule to make target 'behavior/all.vo', needed by 'implementation/scheduler/ideal_uniprocessor.vo'. Stop.
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:327: all] Error 2
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1