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(+)

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