diff --git a/benchmark/gitlab-extract.py b/benchmark/gitlab-extract.py
index 8be4a51da8d585c47cbe0bb42c079d6c1c10b299..5e9db68f8ef00751be052bca57ad6b10d659ca73 100755
--- a/benchmark/gitlab-extract.py
+++ b/benchmark/gitlab-extract.py
@@ -61,9 +61,8 @@ for commit in parse_log.parse_git_commits(args.commits):
         # no build
         continue
     build = first(sorted(builds.json(), key = lambda b: -int(b['id'])))
-    assert build is not None
-    if build['status'] == 'failed':
-        # build failed
+    if build is None or build['status'] == 'failed':
+        # build failed (or missing...??)
         continue
     if build['status'] == 'running':
         # build still running, don't fetch this or any later commit