search

coq / bot

A (Coq Development Team) bot written in OCaml
MIT License
23 stars 14 forks source link

coqbot did not push to GitLab (or rather GitLab didn't answer to `git push`). #111

Open Zimmi48 opened 4 years ago

Zimmi48 commented 4 years ago

Something strange happened two days ago:

28 Sep 2020 07:15:54.496129 <190>1 2020-09-28T05:15:53.867188+00:00 app web.1 - - From https://github.com/jfehrle/coq
28 Sep 2020 07:15:54.566205 <190>1 2020-09-28T05:15:53.867244+00:00 app web.1 - - * [new branch] prodn_misc_chapts -> head-prodn_misc_chapts-ad41653da011549f15c92a62e45a00c8d2c3a16b
28 Sep 2020 07:15:54.566112 <190>1 2020-09-28T05:15:53.890355+00:00 app web.1 - - + '[' 4 '!=' 4 ']'
28 Sep 2020 07:15:54.566153 <190>1 2020-09-28T05:15:53.890575+00:00 app web.1 - - + base=base-master-9c2228ff011dc6188b70084fa1e1a5158affcf24
28 Sep 2020 07:15:54.566164 <190>1 2020-09-28T05:15:53.890632+00:00 app web.1 - - + head=head-prodn_misc_chapts-ad41653da011549f15c92a62e45a00c8d2c3a16b
28 Sep 2020 07:15:54.566152 <190>1 2020-09-28T05:15:53.890682+00:00 app web.1 - - + pr_title='Convert misc chapters to prodn, update syntax'
28 Sep 2020 07:15:54.566107 <190>1 2020-09-28T05:15:53.890781+00:00 app web.1 - - + prnum=12936
28 Sep 2020 07:15:54.566163 <190>1 2020-09-28T05:15:53.891900+00:00 app web.1 - - ++ git rev-parse base-master-9c2228ff011dc6188b70084fa1e1a5158affcf24
28 Sep 2020 07:15:54.566147 <190>1 2020-09-28T05:15:53.897758+00:00 app web.1 - - + basecommit=9c2228ff011dc6188b70084fa1e1a5158affcf24
28 Sep 2020 07:15:54.566174 <190>1 2020-09-28T05:15:53.899483+00:00 app web.1 - - ++ git rev-parse head-prodn_misc_chapts-ad41653da011549f15c92a62e45a00c8d2c3a16b
28 Sep 2020 07:15:54.566147 <190>1 2020-09-28T05:15:53.905435+00:00 app web.1 - - + headcommit=ad41653da011549f15c92a62e45a00c8d2c3a16b
28 Sep 2020 07:15:54.566106 <190>1 2020-09-28T05:15:53.911449+00:00 app web.1 - - ++ mktemp -d
28 Sep 2020 07:15:54.566117 <190>1 2020-09-28T05:15:53.913619+00:00 app web.1 - - + wtree=/tmp/tmp.NpfFjp
28 Sep 2020 07:15:54.566192 <190>1 2020-09-28T05:15:53.914763+00:00 app web.1 - - + git worktree add /tmp/tmp.NpfFjp head-prodn_misc_chapts-ad41653da011549f15c92a62e45a00c8d2c3a16b
28 Sep 2020 07:15:54.566193 <190>1 2020-09-28T05:15:53.922109+00:00 app web.1 - - Preparing worktree (checking out 'head-prodn_misc_chapts-ad41653da011549f15c92a62e45a00c8d2c3a16b')
28 Sep 2020 07:15:55.260129 <190>1 2020-09-28T05:15:54.652179+00:00 app web.1 - - HEAD is now at ad41653da0 Review #2
28 Sep 2020 07:15:55.373117 <190>1 2020-09-28T05:15:54.661263+00:00 app web.1 - - + pushd /tmp/tmp.NpfFjp
28 Sep 2020 07:15:55.373111 <190>1 2020-09-28T05:15:54.661336+00:00 app web.1 - - /tmp/tmp.NpfFjp ~
28 Sep 2020 07:15:55.373153 <190>1 2020-09-28T05:15:54.661504+00:00 app web.1 - - + git reset --hard 9c2228ff011dc6188b70084fa1e1a5158affcf24
28 Sep 2020 07:15:55.907180 <190>1 2020-09-28T05:15:55.289696+00:00 app web.1 - - HEAD is now at 9c2228ff01 Merge PR #12999: More improvements in locating tactic errors
28 Sep 2020 07:15:55.908328 <190>1 2020-09-28T05:15:55.295444+00:00 app web.1 - - + git merge --no-ff ad41653da011549f15c92a62e45a00c8d2c3a16b -m '[CI merge] PR #12936: Convert misc chapters to prodn, update syntax' -m 'Bot merge 9c2228ff011dc6188b70084fa1e1a5158affcf24 and ad41653da011549f15c92a62e45a00c8d2c3a16b'
28 Sep 2020 07:15:55.908133 <190>1 2020-09-28T05:15:55.366977+00:00 app web.1 - - Merge made by the 'recursive' strategy.
28 Sep 2020 07:15:55.908157 <190>1 2020-09-28T05:15:55.391788+00:00 app web.1 - - doc/sphinx/addendum/extraction.rst | 96 ++++---
28 Sep 2020 07:15:55.908154 <190>1 2020-09-28T05:15:55.391790+00:00 app web.1 - - doc/sphinx/addendum/generalized-rewriting.rst | 54 ++--
28 Sep 2020 07:15:55.908155 <190>1 2020-09-28T05:15:55.391790+00:00 app web.1 - - doc/sphinx/addendum/implicit-coercions.rst | 72 ++---
28 Sep 2020 07:15:55.908156 <190>1 2020-09-28T05:15:55.391790+00:00 app web.1 - - doc/sphinx/addendum/micromega.rst | 83 ++++--
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391791+00:00 app web.1 - - doc/sphinx/addendum/miscellaneous-extensions.rst | 6 +-
28 Sep 2020 07:15:55.908155 <190>1 2020-09-28T05:15:55.391791+00:00 app web.1 - - doc/sphinx/addendum/nsatz.rst | 75 ++---
28 Sep 2020 07:15:55.908157 <190>1 2020-09-28T05:15:55.391796+00:00 app web.1 - - doc/sphinx/addendum/program.rst | 108 ++++---
28 Sep 2020 07:15:55.908159 <190>1 2020-09-28T05:15:55.391797+00:00 app web.1 - - doc/sphinx/addendum/ring.rst | 137 ++++-----
28 Sep 2020 07:15:55.908160 <190>1 2020-09-28T05:15:55.391797+00:00 app web.1 - - doc/sphinx/addendum/type-classes.rst | 147 +++++-----
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391797+00:00 app web.1 - - doc/sphinx/addendum/universe-polymorphism.rst | 27 +-
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391798+00:00 app web.1 - - doc/sphinx/conf.py | 3 +-
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391798+00:00 app web.1 - - doc/sphinx/language/core/assumptions.rst | 10 +-
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391799+00:00 app web.1 - - doc/sphinx/language/core/basic.rst | 6 +-
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391799+00:00 app web.1 - - doc/sphinx/language/core/definitions.rst | 4 +-
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391800+00:00 app web.1 - - doc/sphinx/language/core/inductive.rst | 17 +-
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.391800+00:00 app web.1 - - doc/sphinx/language/core/records.rst | 8 +-
28 Sep 2020 07:15:55.908151 <190>1 2020-09-28T05:15:55.392006+00:00 app web.1 - - doc/sphinx/language/core/variants.rst | 1 +
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.392007+00:00 app web.1 - - doc/sphinx/proof-engine/ltac.rst | 9 +-
28 Sep 2020 07:15:55.908173 <190>1 2020-09-28T05:15:55.392008+00:00 app web.1 - - doc/sphinx/proof-engine/proof-handling.rst | 341 +++++++++++------------
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.392008+00:00 app web.1 - - doc/sphinx/proof-engine/tactics.rst | 2 +-
28 Sep 2020 07:15:55.908155 <190>1 2020-09-28T05:15:55.392009+00:00 app web.1 - - doc/sphinx/user-extensions/proof-schemes.rst | 65 +++--
28 Sep 2020 07:15:55.908152 <190>1 2020-09-28T05:15:55.392009+00:00 app web.1 - - doc/sphinx/user-extensions/syntax-extensions.rst | 8 +-
28 Sep 2020 07:15:55.974155 <190>1 2020-09-28T05:15:55.392010+00:00 app web.1 - - doc/sphinx/using/libraries/funind.rst | 75 ++---
28 Sep 2020 07:15:55.974156 <190>1 2020-09-28T05:15:55.392010+00:00 app web.1 - - doc/tools/docgram/common.edit_mlg | 86 +++++-
28 Sep 2020 07:15:55.974152 <190>1 2020-09-28T05:15:55.392010+00:00 app web.1 - - doc/tools/docgram/doc_grammar.ml | 22 +-
28 Sep 2020 07:15:55.974151 <190>1 2020-09-28T05:15:55.392011+00:00 app web.1 - - doc/tools/docgram/fullGrammar | 1 -
28 Sep 2020 07:15:55.974159 <190>1 2020-09-28T05:15:55.392012+00:00 app web.1 - - doc/tools/docgram/orderedGrammar | 131 ++++-----
28 Sep 2020 07:15:55.974148 <190>1 2020-09-28T05:15:55.392012+00:00 app web.1 - - 27 files changed, 816 insertions(+), 778 deletions(-)
28 Sep 2020 07:15:55.974118 <190>1 2020-09-28T05:15:55.393262+00:00 app web.1 - - + rm -rf /tmp/tmp.NpfFjp
28 Sep 2020 07:15:55.974114 <190>1 2020-09-28T05:15:55.535928+00:00 app web.1 - - + git worktree prune
28 Sep 2020 07:15:55.974117 <190>1 2020-09-28T05:15:55.539174+00:00 app web.1 - - Sending delete request.
28 Sep 2020 07:15:57.707140 <190>1 2020-09-28T05:15:53.091488+00:00 app web.1 - - Reinitialized existing Git repository in /app/
28 Sep 2020 07:15:58.509113 <190>1 2020-09-28T05:15:55.886728+00:00 app web.1 - - Response code: 200.

It looks like the merge was properly done, the rebase label was removed (cf. https://github.com/coq/coq/pull/12936#event-3812621311) but there was no git push run before the worktree was removed.

Zimmi48 commented 3 years ago

It happened again on the same PR:

14 Oct 2020 05:18:58.427129 <190>1 2020-10-14T03:18:58.043757+00:00 app web.1 - - From https://github.com/jfehrle/coq
14 Oct 2020 05:18:58.427210 <190>1 2020-10-14T03:18:58.043783+00:00 app web.1 - - * [new branch] prodn_misc_chapts -> head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 05:18:58.427169 <190>1 2020-10-14T03:18:58.044005+00:00 app web.1 - - * [new tag] last-coqide-for-8.4pl3 -> last-coqide-for-8.4pl3
14 Oct 2020 05:18:58.427112 <190>1 2020-10-14T03:18:58.053769+00:00 app web.1 - - + '[' 4 '!=' 4 ']'
14 Oct 2020 05:18:58.427153 <190>1 2020-10-14T03:18:58.053811+00:00 app web.1 - - + base=base-master-9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 05:18:58.427164 <190>1 2020-10-14T03:18:58.053839+00:00 app web.1 - - + head=head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 05:18:58.427151 <190>1 2020-10-14T03:18:58.05386+00:00 app web.1 - - + pr_title='Convert misc chapters to prodn, update syntax'
14 Oct 2020 05:18:58.427106 <190>1 2020-10-14T03:18:58.05388+00:00 app web.1 - - + prnum=12936
14 Oct 2020 05:18:58.427163 <190>1 2020-10-14T03:18:58.054249+00:00 app web.1 - - ++ git rev-parse base-master-9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 05:18:58.427147 <190>1 2020-10-14T03:18:58.055859+00:00 app web.1 - - + basecommit=9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 05:18:58.427174 <190>1 2020-10-14T03:18:58.056179+00:00 app web.1 - - ++ git rev-parse head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 05:18:58.427147 <190>1 2020-10-14T03:18:58.057433+00:00 app web.1 - - + headcommit=9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 05:18:58.427106 <190>1 2020-10-14T03:18:58.057745+00:00 app web.1 - - ++ mktemp -d
14 Oct 2020 05:18:58.427117 <190>1 2020-10-14T03:18:58.058445+00:00 app web.1 - - + wtree=/tmp/tmp.dnOnia
14 Oct 2020 05:18:58.427192 <190>1 2020-10-14T03:18:58.058795+00:00 app web.1 - - + git worktree add /tmp/tmp.dnOnia head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 05:18:58.427193 <190>1 2020-10-14T03:18:58.060201+00:00 app web.1 - - Preparing worktree (checking out 'head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae')
14 Oct 2020 05:19:02.1448787 <190>1 2020-10-14T03:19:01.755976+00:00 app web.1 - - Checking out files: 31% (1474/4610) Checking out files: 32% (1476/4610) Checking out files: 33% (1522/4610) Checking out files: 34% (1568/4610) Checking out files: 35% (1614/4610) Checking out files: 36% (1660/4610) Checking out files: 37% (1706/4610) Checking out files: 38% (1752/4610) Checking out files: 39% (1798/4610) Checking out files: 40% (1844/4610) Checking out files: 41% (1891/4610) Checking out files: 42% (1937/4610) Checking out files: 43% (1983/4610) Checking out files: 44% (2029/4610) Checking out files: 45% (2075/4610) Checking out files: 46% (2121/4610) Checking out files: 47% (2167/4610) Checking out files: 48% (2213/4610) Checking out files: 49% (2259/4610) Checking out files: 50% (2305/4610) Checking out files: 51% (2352/4610) Checking out files: 52% (2398/4610) Checking out files: 53% (2444/4610) Checking out files: 54% (2490/4610) Checking out files: 55% (2536/4610) Checking out files: 56% (2582/4610) Checking out files: 57% (2628/4610) Checking out files: 58% (2674/4610) Checking out files: 59% (2720/4610) Checking out files: 59% (2739/4610) Checking out files: 60% (2766/4610) Checking out files: 61% (2813/4610) Checking out files: 62% (2859/4610) Checking out files: 63% (2905/4610) Checking out files: 64% (2951/4610) Checking out files: 65% (2997/4610) Checking out files: 66% (3043/4610) Checking out files: 67% (3089/4610) Checking out files: 68% (3135/4610) Checking out files: 69% (3181/4610) Checking out files: 70% (3227/4610) Checking out files: 71% (3274/4610) Checking out files: 72% (3320/4610) Checking out files: 73% (3366/4610) Checking out files: 74% (3412/4610) Checking out files: 75% (3458/4610) Checking out files: 76% (3504/4610) Checking out files: 77% (3550/4610) Checking out files: 78% (3596/4610) Checking out files: 79% (3642/4610) Checking out files: 80% (3688/4610) Checking out files: 81% (3735/4610) Checking out files: 82% (3781/4610) Checking out files: 83% (3827/4610) Checking out files: 84% (3873/4610) Checking out files: 85% (3919/4610) Checking out files: 85% (3932/4610) Checking out files: 86% (3965/4610) Checking out files: 87% (4011/4610) Checking out files: 88% (4057/4610) Checking out files: 89% (4103/4610) Checking out files: 90% (4149/4610) Checking out files: 91% (4196/4610) Checking out files: 92% (4242/4610) Checking out files: 93% (4288/4610) Checking out files: 94% (4334/4610) Checking out files: 95% (4380/4610) Checking out files: 96% (4426/4610)
14 Oct 2020 05:19:02.144 Checking out files: 97% (4472/4610) Checking out files: 98% (4518/4610) Checking out files: 99% (4564/4610) Checking out files: 100% (4610/4610) Checking out files: 100% (4610/4610), done.
14 Oct 2020 05:19:02.144129 <190>1 2020-10-14T03:19:01.772657+00:00 app web.1 - - HEAD is now at 9bbe614cf4 Review #7
14 Oct 2020 05:19:02.144117 <190>1 2020-10-14T03:19:01.782401+00:00 app web.1 - - + pushd /tmp/tmp.dnOnia
14 Oct 2020 05:19:02.144111 <190>1 2020-10-14T03:19:01.782457+00:00 app web.1 - - /tmp/tmp.dnOnia ~
14 Oct 2020 05:19:02.144153 <190>1 2020-10-14T03:19:01.782487+00:00 app web.1 - - + git reset --hard 9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 05:19:02.144183 <190>1 2020-10-14T03:19:01.968621+00:00 app web.1 - - HEAD is now at 9fa5174bac Merge PR #13172: Fix #13169: vm_compute has existential crisis.
14 Oct 2020 05:19:02.144328 <190>1 2020-10-14T03:19:01.970388+00:00 app web.1 - - + git merge --no-ff 9bbe614cf4aa854f017029028de92cd8ad3fe8ae -m '[CI merge] PR #12936: Convert misc chapters to prodn, update syntax' -m 'Bot merge 9fa5174bac92de63bceae2c4e9ef70fab93198fd and 9bbe614cf4aa854f017029028de92cd8ad3fe8ae'
14 Oct 2020 05:19:02.591133 <190>1 2020-10-14T03:19:02.206213+00:00 app web.1 - - Merge made by the 'recursive' strategy.
14 Oct 2020 05:19:02.591155 <190>1 2020-10-14T03:19:02.23652+00:00 app web.1 - - doc/sphinx/addendum/extraction.rst | 96 +++---
14 Oct 2020 05:19:02.591154 <190>1 2020-10-14T03:19:02.236522+00:00 app web.1 - - doc/sphinx/addendum/generalized-rewriting.rst | 65 ++--
14 Oct 2020 05:19:02.591154 <190>1 2020-10-14T03:19:02.236523+00:00 app web.1 - - doc/sphinx/addendum/implicit-coercions.rst | 64 ++--
14 Oct 2020 05:19:02.591155 <190>1 2020-10-14T03:19:02.236525+00:00 app web.1 - - doc/sphinx/addendum/micromega.rst | 83 +++--
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236525+00:00 app web.1 - - doc/sphinx/addendum/miscellaneous-extensions.rst | 6 +-
14 Oct 2020 05:19:02.591155 <190>1 2020-10-14T03:19:02.236526+00:00 app web.1 - - doc/sphinx/addendum/nsatz.rst | 76 +++--
14 Oct 2020 05:19:02.591157 <190>1 2020-10-14T03:19:02.236526+00:00 app web.1 - - doc/sphinx/addendum/program.rst | 130 +++----
14 Oct 2020 05:19:02.591158 <190>1 2020-10-14T03:19:02.236527+00:00 app web.1 - - doc/sphinx/addendum/ring.rst | 139 +++-----
14 Oct 2020 05:19:02.591161 <190>1 2020-10-14T03:19:02.236527+00:00 app web.1 - - doc/sphinx/addendum/type-classes.rst | 197 ++++++-----
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236527+00:00 app web.1 - - doc/sphinx/addendum/universe-polymorphism.rst | 27 +-
14 Oct 2020 05:19:02.591151 <190>1 2020-10-14T03:19:02.236529+00:00 app web.1 - - doc/sphinx/conf.py | 1 -
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236529+00:00 app web.1 - - doc/sphinx/language/core/assumptions.rst | 8 +-
14 Oct 2020 05:19:02.591151 <190>1 2020-10-14T03:19:02.23653+00:00 app web.1 - - doc/sphinx/language/core/basic.rst | 6 +-
14 Oct 2020 05:19:02.591151 <190>1 2020-10-14T03:19:02.23653+00:00 app web.1 - - doc/sphinx/language/core/definitions.rst | 4 +-
14 Oct 2020 05:19:02.591151 <190>1 2020-10-14T03:19:02.23653+00:00 app web.1 - - doc/sphinx/language/core/inductive.rst | 8 +-
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236531+00:00 app web.1 - - doc/sphinx/language/core/records.rst | 8 +-
14 Oct 2020 05:19:02.591151 <190>1 2020-10-14T03:19:02.236731+00:00 app web.1 - - doc/sphinx/language/core/variants.rst | 1 +
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236731+00:00 app web.1 - - doc/sphinx/proof-engine/ltac.rst | 9 +-
14 Oct 2020 05:19:02.591173 <190>1 2020-10-14T03:19:02.236732+00:00 app web.1 - - doc/sphinx/proof-engine/proof-handling.rst | 418 +++++++++++------------
14 Oct 2020 05:19:02.591159 <190>1 2020-10-14T03:19:02.236732+00:00 app web.1 - - doc/sphinx/proof-engine/tactics.rst | 160 +++++----
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236732+00:00 app web.1 - - doc/sphinx/proof-engine/vernacular-commands.rst | 2 +-
14 Oct 2020 05:19:02.591154 <190>1 2020-10-14T03:19:02.236733+00:00 app web.1 - - doc/sphinx/user-extensions/proof-schemes.rst | 71 ++--
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236733+00:00 app web.1 - - doc/sphinx/user-extensions/syntax-extensions.rst | 8 +-
14 Oct 2020 05:19:02.591154 <190>1 2020-10-14T03:19:02.236734+00:00 app web.1 - - doc/sphinx/using/libraries/funind.rst | 75 ++--
14 Oct 2020 05:19:02.591157 <190>1 2020-10-14T03:19:02.236734+00:00 app web.1 - - doc/tools/docgram/common.edit_mlg | 125 +++++--
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236734+00:00 app web.1 - - doc/tools/docgram/doc_grammar.ml | 22 +-
14 Oct 2020 05:19:02.591152 <190>1 2020-10-14T03:19:02.236734+00:00 app web.1 - - doc/tools/docgram/fullGrammar | 12 +-
14 Oct 2020 05:19:02.591159 <190>1 2020-10-14T03:19:02.236735+00:00 app web.1 - - doc/tools/docgram/orderedGrammar | 166 ++++-----
14 Oct 2020 05:19:02.591149 <190>1 2020-10-14T03:19:02.236735+00:00 app web.1 - - 28 files changed, 1009 insertions(+), 978 deletions(-)
14 Oct 2020 05:19:02.591117 <190>1 2020-10-14T03:19:02.23814+00:00 app web.1 - - + rm -rf /tmp/tmp.dnOnia
14 Oct 2020 05:19:02.591114 <190>1 2020-10-14T03:19:02.344945+00:00 app web.1 - - + git worktree prune
14 Oct 2020 05:19:02.591117 <190>1 2020-10-14T03:19:02.348327+00:00 app web.1 - - Sending delete request.
14 Oct 2020 05:19:03.079113 <190>1 2020-10-14T03:19:02.688661+00:00 app web.1 - - Response code: 200.

Retrying the delivery triggered a successful push:

14 Oct 2020 11:45:35.420125 <190>1 2020-10-14T09:45:34.813036+00:00 app web.1 - - From https://github.com/coq/coq
14 Oct 2020 11:45:35.420187 <190>1 2020-10-14T09:45:34.813108+00:00 app web.1 - - * [new branch] master -> base-master-9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 11:45:36.337129 <190>1 2020-10-14T09:45:35.721874+00:00 app web.1 - - From https://github.com/jfehrle/coq
14 Oct 2020 11:45:36.337205 <190>1 2020-10-14T09:45:35.721961+00:00 app web.1 - - * [new branch] prodn_misc_chapts -> head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 11:45:36.337112 <190>1 2020-10-14T09:45:35.734865+00:00 app web.1 - - + '[' 4 '!=' 4 ']'
14 Oct 2020 11:45:36.337153 <190>1 2020-10-14T09:45:35.734874+00:00 app web.1 - - + base=base-master-9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 11:45:36.337164 <190>1 2020-10-14T09:45:35.734877+00:00 app web.1 - - + head=head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 11:45:36.337152 <190>1 2020-10-14T09:45:35.734916+00:00 app web.1 - - + pr_title='Convert misc chapters to prodn, update syntax'
14 Oct 2020 11:45:36.337107 <190>1 2020-10-14T09:45:35.734922+00:00 app web.1 - - + prnum=12936
14 Oct 2020 11:45:36.337163 <190>1 2020-10-14T09:45:35.735302+00:00 app web.1 - - ++ git rev-parse base-master-9fa5174bac92de63bceae2c4e9ef70fab93198fd
14 Oct 2020 11:45:36.337147 <190>1 2020-10-14T09:45:35.736633+00:00 app web.1 - - + basecommit=411025844a4c005ce03d77c6c640807c28269d4a
14 Oct 2020 11:45:36.337174 <190>1 2020-10-14T09:45:35.736993+00:00 app web.1 - - ++ git rev-parse head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 11:45:36.337147 <190>1 2020-10-14T09:45:35.738763+00:00 app web.1 - - + headcommit=9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 11:45:36.337106 <190>1 2020-10-14T09:45:35.739533+00:00 app web.1 - - ++ mktemp -d
14 Oct 2020 11:45:36.337117 <190>1 2020-10-14T09:45:35.740264+00:00 app web.1 - - + wtree=/tmp/tmp.DphmId
14 Oct 2020 11:45:36.337192 <190>1 2020-10-14T09:45:35.740632+00:00 app web.1 - - + git worktree add /tmp/tmp.DphmId head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae
14 Oct 2020 11:45:36.337193 <190>1 2020-10-14T09:45:35.742376+00:00 app web.1 - - Preparing worktree (checking out 'head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae')
14 Oct 2020 11:45:37.130129 <190>1 2020-10-14T09:45:36.524477+00:00 app web.1 - - HEAD is now at 9bbe614cf4 Review #7
14 Oct 2020 11:45:37.130116 <190>1 2020-10-14T09:45:36.53935+00:00 app web.1 - - + pushd /tmp/tmp.DphmId
14 Oct 2020 11:45:37.130111 <190>1 2020-10-14T09:45:36.539438+00:00 app web.1 - - /tmp/tmp.DphmId ~
14 Oct 2020 11:45:37.130153 <190>1 2020-10-14T09:45:36.539591+00:00 app web.1 - - + git reset --hard 411025844a4c005ce03d77c6c640807c28269d4a
14 Oct 2020 11:45:37.412188 <190>1 2020-10-14T09:45:37.025926+00:00 app web.1 - - HEAD is now at 411025844a Merge PR #13147: Use OCaml floating-point operations on 64 bits arch
14 Oct 2020 11:45:37.412328 <190>1 2020-10-14T09:45:37.027826+00:00 app web.1 - - + git merge --no-ff 9bbe614cf4aa854f017029028de92cd8ad3fe8ae -m '[CI merge] PR #12936: Convert misc chapters to prodn, update syntax' -m 'Bot merge 411025844a4c005ce03d77c6c640807c28269d4a and 9bbe614cf4aa854f017029028de92cd8ad3fe8ae'
14 Oct 2020 11:45:37.412133 <190>1 2020-10-14T09:45:37.118539+00:00 app web.1 - - Merge made by the 'recursive' strategy.
14 Oct 2020 11:45:37.412156 <190>1 2020-10-14T09:45:37.153234+00:00 app web.1 - - doc/sphinx/addendum/extraction.rst | 96 +++---
14 Oct 2020 11:45:37.412154 <190>1 2020-10-14T09:45:37.153235+00:00 app web.1 - - doc/sphinx/addendum/generalized-rewriting.rst | 65 ++--
14 Oct 2020 11:45:37.412154 <190>1 2020-10-14T09:45:37.153236+00:00 app web.1 - - doc/sphinx/addendum/implicit-coercions.rst | 64 ++--
14 Oct 2020 11:45:37.412155 <190>1 2020-10-14T09:45:37.153236+00:00 app web.1 - - doc/sphinx/addendum/micromega.rst | 83 +++--
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153237+00:00 app web.1 - - doc/sphinx/addendum/miscellaneous-extensions.rst | 6 +-
14 Oct 2020 11:45:37.412155 <190>1 2020-10-14T09:45:37.153237+00:00 app web.1 - - doc/sphinx/addendum/nsatz.rst | 76 +++--
14 Oct 2020 11:45:37.412157 <190>1 2020-10-14T09:45:37.153237+00:00 app web.1 - - doc/sphinx/addendum/program.rst | 130 +++----
14 Oct 2020 11:45:37.412158 <190>1 2020-10-14T09:45:37.153238+00:00 app web.1 - - doc/sphinx/addendum/ring.rst | 139 +++-----
14 Oct 2020 11:45:37.412161 <190>1 2020-10-14T09:45:37.153239+00:00 app web.1 - - doc/sphinx/addendum/type-classes.rst | 197 ++++++-----
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153239+00:00 app web.1 - - doc/sphinx/addendum/universe-polymorphism.rst | 27 +-
14 Oct 2020 11:45:37.412151 <190>1 2020-10-14T09:45:37.153239+00:00 app web.1 - - doc/sphinx/conf.py | 1 -
14 Oct 2020 11:45:37.412151 <190>1 2020-10-14T09:45:37.15324+00:00 app web.1 - - doc/sphinx/language/core/assumptions.rst | 8 +-
14 Oct 2020 11:45:37.412151 <190>1 2020-10-14T09:45:37.15324+00:00 app web.1 - - doc/sphinx/language/core/basic.rst | 6 +-
14 Oct 2020 11:45:37.412151 <190>1 2020-10-14T09:45:37.15324+00:00 app web.1 - - doc/sphinx/language/core/definitions.rst | 4 +-
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153241+00:00 app web.1 - - doc/sphinx/language/core/inductive.rst | 8 +-
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153241+00:00 app web.1 - - doc/sphinx/language/core/records.rst | 8 +-
14 Oct 2020 11:45:37.412151 <190>1 2020-10-14T09:45:37.153473+00:00 app web.1 - - doc/sphinx/language/core/variants.rst | 1 +
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153474+00:00 app web.1 - - doc/sphinx/proof-engine/ltac.rst | 9 +-
14 Oct 2020 11:45:37.412173 <190>1 2020-10-14T09:45:37.153474+00:00 app web.1 - - doc/sphinx/proof-engine/proof-handling.rst | 418 +++++++++++------------
14 Oct 2020 11:45:37.412159 <190>1 2020-10-14T09:45:37.153475+00:00 app web.1 - - doc/sphinx/proof-engine/tactics.rst | 160 +++++----
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153475+00:00 app web.1 - - doc/sphinx/proof-engine/vernacular-commands.rst | 2 +-
14 Oct 2020 11:45:37.412154 <190>1 2020-10-14T09:45:37.153476+00:00 app web.1 - - doc/sphinx/user-extensions/proof-schemes.rst | 71 ++--
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153476+00:00 app web.1 - - doc/sphinx/user-extensions/syntax-extensions.rst | 8 +-
14 Oct 2020 11:45:37.412154 <190>1 2020-10-14T09:45:37.153476+00:00 app web.1 - - doc/sphinx/using/libraries/funind.rst | 75 ++--
14 Oct 2020 11:45:37.412157 <190>1 2020-10-14T09:45:37.153477+00:00 app web.1 - - doc/tools/docgram/common.edit_mlg | 125 +++++--
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153477+00:00 app web.1 - - doc/tools/docgram/doc_grammar.ml | 22 +-
14 Oct 2020 11:45:37.412152 <190>1 2020-10-14T09:45:37.153478+00:00 app web.1 - - doc/tools/docgram/fullGrammar | 12 +-
14 Oct 2020 11:45:37.412159 <190>1 2020-10-14T09:45:37.153478+00:00 app web.1 - - doc/tools/docgram/orderedGrammar | 166 ++++-----
14 Oct 2020 11:45:37.412149 <190>1 2020-10-14T09:45:37.153478+00:00 app web.1 - - 28 files changed, 1009 insertions(+), 978 deletions(-)
14 Oct 2020 11:45:37.412117 <190>1 2020-10-14T09:45:37.16184+00:00 app web.1 - - + rm -rf /tmp/tmp.DphmId
14 Oct 2020 11:45:37.809114 <190>1 2020-10-14T09:45:37.425664+00:00 app web.1 - - + git worktree prune
14 Oct 2020 11:45:40.025127 <190>1 2020-10-14T09:45:39.637725+00:00 app web.1 - - To https://gitlab.com/coq/coq.git
14 Oct 2020 11:45:40.025212 <190>1 2020-10-14T09:45:39.637748+00:00 app web.1 - - + 71a57e9a91...b037cb4b42 head-prodn_misc_chapts-9bbe614cf4aa854f017029028de92cd8ad3fe8ae -> pr-12936 (forced update)
Zimmi48 commented 3 years ago

It happened again on another PR (cf. https://github.com/coq/coq/pull/11841#event-3933340039).

28 Oct 2020 21:50:10.187140 <190>1 2020-10-28T20:50:09.593152+00:00 app web.1 - - Reinitialized existing Git repository in /app/
28 Oct 2020 21:50:10.841137 <190>1 2020-10-28T20:50:10.236902+00:00 app web.1 - - From https://github.com/herbelin/github-coq
28 Oct 2020 21:50:10.841273 <190>1 2020-10-28T20:50:10.236949+00:00 app web.1 - - * [new branch] master+distinguishing-ident-name-in-grammar-entries -> head-master+distinguishing-ident-name-in-grammar-entries-e3653578d904f0b884e8f3d60ac50b699d0898ee
28 Oct 2020 21:50:10.841112 <190>1 2020-10-28T20:50:10.253394+00:00 app web.1 - - + '[' 4 '!=' 4 ']'
28 Oct 2020 21:50:10.841153 <190>1 2020-10-28T20:50:10.253442+00:00 app web.1 - - + base=base-master-473160ebe4a835dde50d6c209ab17c7e1b84979c
28 Oct 2020 21:50:10.841198 <190>1 2020-10-28T20:50:10.253481+00:00 app web.1 - - + head=head-master+distinguishing-ident-name-in-grammar-entries-e3653578d904f0b884e8f3d60ac50b699d0898ee
28 Oct 2020 21:50:10.841172 <190>1 2020-10-28T20:50:10.253502+00:00 app web.1 - - + pr_title='Distinguishing entry "ident" from entry "name" in term notations.'
28 Oct 2020 21:50:10.841107 <190>1 2020-10-28T20:50:10.253542+00:00 app web.1 - - + prnum=11841
28 Oct 2020 21:50:10.841162 <190>1 2020-10-28T20:50:10.25392+00:00 app web.1 - - ++ git rev-parse base-master-473160ebe4a835dde50d6c209ab17c7e1b84979c
28 Oct 2020 21:50:10.841147 <190>1 2020-10-28T20:50:10.255172+00:00 app web.1 - - + basecommit=473160ebe4a835dde50d6c209ab17c7e1b84979c
28 Oct 2020 21:50:10.841208 <190>1 2020-10-28T20:50:10.255616+00:00 app web.1 - - ++ git rev-parse head-master+distinguishing-ident-name-in-grammar-entries-e3653578d904f0b884e8f3d60ac50b699d0898ee
28 Oct 2020 21:50:10.841147 <190>1 2020-10-28T20:50:10.256805+00:00 app web.1 - - + headcommit=e3653578d904f0b884e8f3d60ac50b699d0898ee
28 Oct 2020 21:50:10.841106 <190>1 2020-10-28T20:50:10.257285+00:00 app web.1 - - ++ mktemp -d
28 Oct 2020 21:50:10.841116 <190>1 2020-10-28T20:50:10.25837+00:00 app web.1 - - + wtree=/tmp/tmp.GeCACL
28 Oct 2020 21:50:10.841226 <190>1 2020-10-28T20:50:10.258847+00:00 app web.1 - - + git worktree add /tmp/tmp.GeCACL head-master+distinguishing-ident-name-in-grammar-entries-e3653578d904f0b884e8f3d60ac50b699d0898ee
28 Oct 2020 21:50:10.841227 <190>1 2020-10-28T20:50:10.266035+00:00 app web.1 - - Preparing worktree (checking out 'head-master+distinguishing-ident-name-in-grammar-entries-e3653578d904f0b884e8f3d60ac50b699d0898ee')
28 Oct 2020 21:50:11.629149 <190>1 2020-10-28T20:50:11.033659+00:00 app web.1 - - HEAD is now at e3653578d9 Adding change log for #11841.
28 Oct 2020 21:50:11.629117 <190>1 2020-10-28T20:50:11.043893+00:00 app web.1 - - + pushd /tmp/tmp.GeCACL
28 Oct 2020 21:50:11.629111 <190>1 2020-10-28T20:50:11.043966+00:00 app web.1 - - /tmp/tmp.GeCACL ~
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.044046+00:00 app web.1 - - + git reset --hard 473160ebe4a835dde50d6c209ab17c7e1b84979c
28 Oct 2020 21:50:11.629162 <190>1 2020-10-28T20:50:11.09772+00:00 app web.1 - - HEAD is now at 473160ebe4 Merge PR #13238: Fix some tactic print bugs
28 Oct 2020 21:50:11.629348 <190>1 2020-10-28T20:50:11.099121+00:00 app web.1 - - + git merge --no-ff e3653578d904f0b884e8f3d60ac50b699d0898ee -m '[CI merge] PR #11841: Distinguishing entry "ident" from entry "name" in term notations.' -m 'Bot merge 473160ebe4a835dde50d6c209ab17c7e1b84979c and e3653578d904f0b884e8f3d60ac50b699d0898ee'
28 Oct 2020 21:50:11.629133 <190>1 2020-10-28T20:50:11.156923+00:00 app web.1 - - Merge made by the 'recursive' strategy.
28 Oct 2020 21:50:11.629155 <190>1 2020-10-28T20:50:11.175577+00:00 app web.1 - - ...istinguishing-ident-name-in-grammar-entries.rst | 13 ++++
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175577+00:00 app web.1 - - doc/sphinx/language/extensions/canonical.rst | 4 +-
28 Oct 2020 21:50:11.629173 <190>1 2020-10-28T20:50:11.175578+00:00 app web.1 - - doc/sphinx/user-extensions/syntax-extensions.rst | 77 ++++++++++++++++++----
28 Oct 2020 21:50:11.629155 <190>1 2020-10-28T20:50:11.175578+00:00 app web.1 - - interp/constrintern.ml | 13 +++-
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175579+00:00 app web.1 - - interp/notation.ml | 3 +-
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175579+00:00 app web.1 - - interp/notation_ops.ml | 4 +-
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175579+00:00 app web.1 - - interp/notation_term.ml | 5 +-
28 Oct 2020 21:50:11.629151 <190>1 2020-10-28T20:50:11.17558+00:00 app web.1 - - parsing/extend.ml | 2 +
28 Oct 2020 21:50:11.629151 <190>1 2020-10-28T20:50:11.17558+00:00 app web.1 - - parsing/extend.mli | 2 +
28 Oct 2020 21:50:11.629151 <190>1 2020-10-28T20:50:11.17558+00:00 app web.1 - - test-suite/bugs/closed/bug_9517.v | 1 +
28 Oct 2020 21:50:11.629154 <190>1 2020-10-28T20:50:11.175581+00:00 app web.1 - - test-suite/output/Notations2.v | 8 +--
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175581+00:00 app web.1 - - test-suite/output/Notations3.v | 2 +-
28 Oct 2020 21:50:11.629154 <190>1 2020-10-28T20:50:11.175581+00:00 app web.1 - - theories/Init/Logic.v | 10 +--
28 Oct 2020 21:50:11.629156 <190>1 2020-10-28T20:50:11.175582+00:00 app web.1 - - theories/Logic/Hurkens.v | 16 ++---
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175582+00:00 app web.1 - - theories/Program/Utils.v | 2 +-
28 Oct 2020 21:50:11.629159 <190>1 2020-10-28T20:50:11.175582+00:00 app web.1 - - theories/ssr/ssrbool.v | 26 ++++----
28 Oct 2020 21:50:11.629153 <190>1 2020-10-28T20:50:11.175683+00:00 app web.1 - - theories/ssr/ssreflect.v | 2 +-
28 Oct 2020 21:50:11.629163 <190>1 2020-10-28T20:50:11.175684+00:00 app web.1 - - theories/ssr/ssrfun.v | 42 ++++++------
28 Oct 2020 21:50:11.629155 <190>1 2020-10-28T20:50:11.175684+00:00 app web.1 - - vernac/egramcoq.ml | 11 ++++
28 Oct 2020 21:50:11.629156 <190>1 2020-10-28T20:50:11.175684+00:00 app web.1 - - vernac/g_vernac.mlg | 17 ++++-
28 Oct 2020 21:50:11.629159 <190>1 2020-10-28T20:50:11.175684+00:00 app web.1 - - vernac/metasyntax.ml | 29 +++++---
28 Oct 2020 21:50:11.629155 <190>1 2020-10-28T20:50:11.175685+00:00 app web.1 - - vernac/ppvernac.ml | 11 ++--
28 Oct 2020 21:50:11.629147 <190>1 2020-10-28T20:50:11.175685+00:00 app web.1 - - 22 files changed, 208 insertions(+), 92 deletions(-)
28 Oct 2020 21:50:11.629202 <190>1 2020-10-28T20:50:11.175686+00:00 app web.1 - - create mode 100644 doc/changelog/03-notations/11841-master+distinguishing-ident-name-in-grammar-entries.rst
28 Oct 2020 21:50:11.629117 <190>1 2020-10-28T20:50:11.17671+00:00 app web.1 - - + rm -rf /tmp/tmp.GeCACL
28 Oct 2020 21:50:11.629114 <190>1 2020-10-28T20:50:11.271582+00:00 app web.1 - - + git worktree prune
28 Oct 2020 21:50:11.629117 <190>1 2020-10-28T20:50:11.274818+00:00 app web.1 - - Sending delete request.
28 Oct 2020 21:50:12.211113 <190>1 2020-10-28T20:50:11.600371+00:00 app web.1 - - Response code: 200.

And once again, retrying the delivery worked.

Zimmi48 commented 3 years ago

It could have been GitLab failing to receive the git push even though it did happen. Now that we've reintroduced logging of executed command (in 4381bef4b500ff7eea4ac0af2522f3a8fcd8c75c), I can see that in the latest occurrence, the git push command was executed but did not trigger a response. We should figure out how to detect these cases and how to retry the git push.