Remove hardcoded ideal processor model from aRTA

19 jobs for master in 16 minutes and 16 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #58570
1.10.0-coq-8.10

00:13:25

passed #58571
1.10.0-coq-8.11

00:13:28

passed #58569
1.10.0-coq-8.9

00:13:00

passed #58567
1.9.0-coq-8.10

00:13:27

passed #58568
1.9.0-coq-8.11

00:13:18

passed #58566
1.9.0-coq-8.9

00:13:01

passed #58572
build-for-process

00:05:13

passed #58573
build-for-process-classic

00:09:42

passed #58576
coq-8.10

00:11:59

passed #58577
coq-dev

00:11:26

passed #58574
proof-length

00:01:44

passed #58575
spell-check

00:02:01

 
  Process
passed #58592
doc

00:00:21

passed #58591
doc-classic

00:00:34

passed #58582
proof-state

00:02:50

passed #58578
validate

00:01:59

passed #58579
validate-classic

00:02:44

failed #58580
doc

00:03:30

failed #58581
doc-classic

00:03:35