{"action":"closed","issue":{"url":"https://api.github.com/repos/math-comp/math-comp/issues/238","repository_url":"https://api.github.com/repos/math-comp/math-comp","labels_url":"https://api.github.com/repos/math-comp/math-comp/issues/238/labels{/name}","comments_url":"https://api.github.com/repos/math-comp/math-comp/issues/238/comments","events_url":"https://api.github.com/repos/math-comp/math-comp/issues/238/events","html_url":"https://github.com/math-comp/math-comp/issues/238","id":375713740,"node_id":"MDU6SXNzdWUzNzU3MTM3NDA=","number":238,"title":"Coq bench failing","user":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars1.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-30T22:06:38Z","updated_at":"2018-10-31T14:45:02Z","closed_at":"2018-10-31T14:45:02Z","author_association":"CONTRIBUTOR","body":"Since sometime between https://ci.inria.fr/coq/job/benchmark-part-of-the-branch/563/console (29-Oct-2018 00:19) and https://ci.inria.fr/coq/job/benchmark-part-of-the-branch/564/console (29-Oct-2018 13:14) mathcomp has been failing on the Coq bench system.\r\n~~~\r\n=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n[coq-mathcomp-fingroup: make 1] Command started\r\n+ make \"-C\" \"mathcomp/fingroup\" \"-j\" \"1\" (CWD=/home/jenkins/workspace/benchmark-part-of-the-branch/564/opam.NEW/4.05.0/build/coq-mathcomp-fingroup.dev)\r\n- make: Entering directory '/home/jenkins/workspace/benchmark-part-of-the-branch/564/opam.NEW/4.05.0/build/coq-mathcomp-fingroup.dev/mathcomp/fingroup'\r\n- make: Leaving directory '/home/jenkins/workspace/benchmark-part-of-the-branch/564/opam.NEW/4.05.0/build/coq-mathcomp-fingroup.dev/mathcomp/fingroup'\r\n- make: *** No rule to make target '\"Make\"', needed by 'Makefile.coq'.  Stop.\r\n[coq-mathcomp-fingroup: sh] Command started\r\n+ sh \"-c\" \"rm -rf '/home/jenkins/workspace/benchmark-part-of-the-branch/564/opam.NEW/4.05.0/lib/coq/user-contrib/mathcomp/fingroup'\" (CWD=/home/jenkins/workspace/benchmark-part-of-the-branch/564/opam.NEW/4.05.0/build/coq-mathcomp-fingroup.dev)\r\n~~~\r\nPossible culprits are on the Coq side coq/coq#8812 and coq/coq#8763 (I don't see how those could lead to the error above) and (unless I messed up my dates) on the mathcomp side #219."}}
{"actor":{"display_login":"gares"}}