From 09a8989d98219e974ceb7a2620686117c9ad6fef Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 17 Sep 2020 13:08:03 +0200
Subject: [ci] call dmesg after quick/async jobs to detect OOM

---
 .gitlab-ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ca5584bcb5..1f0c24c38b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -325,6 +325,8 @@ build:base+async:
   variables:
     COQ_EXTRA_CONF: "-native-compiler yes -coqide opt"
     COQUSERFLAGS: "-async-proofs on"
+  after_script:
+    - dmesg
   timeout: 100m
   allow_failure: true # See https://github.com/coq/coq/issues/9658
   only:
@@ -336,6 +338,8 @@ build:quick:
   variables:
     COQ_EXTRA_CONF: "-native-compiler no"
     QUICK: "1"
+  after_script:
+    - dmesg
   timeout: 100m
   allow_failure: true # See https://github.com/coq/coq/issues/9637
   only:
-- 
cgit v1.2.3


From 37b16d6ad093ae958c942a94b6070bc72b744f77 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 18 Sep 2020 13:03:30 +0200
Subject: [ci] [dmesg] save as artifact

---
 .gitlab-ci.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1f0c24c38b..51dde1eeac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -326,12 +326,17 @@ build:base+async:
     COQ_EXTRA_CONF: "-native-compiler yes -coqide opt"
     COQUSERFLAGS: "-async-proofs on"
   after_script:
-    - dmesg
+    - dmesg > dmesg.txt
   timeout: 100m
   allow_failure: true # See https://github.com/coq/coq/issues/9658
   only:
     variables:
       - $UNRELIABLE =~ /enabled/
+  artifacts:
+    name: "$CI_JOB_NAME"
+    when: on_failure
+    paths:
+    - dmesg.txt
 
 build:quick:
   extends: .build-template
@@ -339,12 +344,17 @@ build:quick:
     COQ_EXTRA_CONF: "-native-compiler no"
     QUICK: "1"
   after_script:
-    - dmesg
+    - dmesg > dmesg.txt
   timeout: 100m
   allow_failure: true # See https://github.com/coq/coq/issues/9637
   only:
     variables:
       - $UNRELIABLE =~ /enabled/
+  artifacts:
+    name: "$CI_JOB_NAME"
+    when: on_failure
+    paths:
+    - dmesg.txt
 
 windows64:
   extends: .windows-template
-- 
cgit v1.2.3