Pipeline · verimag / synchrone / sasa

Fix: bug in Evil.worst

2 jobs for hugo_rdbg_daemon in 300 minutes and 3 seconds (queued for 1 second)

Status	Job ID	Name
Build
failed	#159913	build	05:00:03 Aug 27, 2020

Release
skipped	#159914 allowed to fail	simca

Name Stage Failure

	Name	Stage	Failure
failed	build	Build	The script exceeded the maximum execution time set for the job
	(RdbgEvent.t * int list) list -> RdbgEvent.t * int list -> float -> RdbgEvent.t * int list = <fun> File "my-rdbg-tuning.ml", line 149, characters 30-37: 149 \| if ret = false then isLegit e (i-1) true ^^^^^^^ Error: This function has type int -> bool -> bool It is applied to too many arguments; maybe you forgot a `;'. (rdbg) ' ERROR: Job failed: execution took longer than 5h0m0s seconds

failed

build

Build

The script exceeded the maximum execution time set for the job

  (RdbgEvent.t * int list) list ->
  RdbgEvent.t * int list -> float -> RdbgEvent.t * int list = <fun>
File "my-rdbg-tuning.ml", line 149, characters 30-37:
149 |           if ret = false then isLegit e (i-1) true
                                    ^^^^^^^
Error: This function has type int -> bool -> bool
       It is applied to too many arguments; maybe you forgot a `;'.
(rdbg) '
ERROR: Job failed: execution took longer than 5h0m0s seconds