Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Dan Frumin
iris-coq
Commits
4d81d151
Commit
4d81d151
authored
Jul 15, 2016
by
Ralf Jung
Browse files
make the extract script work better
parent
42281a34
Changes
1
Hide whitespace changes
Inline
Side-by-side
benchmark/gitlab-extract.py
View file @
4d81d151
...
...
@@ -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
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment