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
Jonas Kastberg
iris
Commits
a08553255a3dfd8c6ef78dd43666e395231e2d11
Switch branch/tag
iris-coq
benchmark
gitlab-extract.py
03 Mar, 2016
2 commits
fix gitlab extractor to be more robust
· a0855325
Ralf Jung
authored
Mar 03, 2016
a0855325
benchmak/visualizer: can now restrict the graph to a given commit range
· f4f496b8
Ralf Jung
authored
Mar 03, 2016
f4f496b8
24 Feb, 2016
5 commits
extractor can now automatically fetch missing new commits
· e1067d01
Ralf Jung
authored
Feb 24, 2016
e1067d01
start work on a build-times visualizer
· 66bb3579
Ralf Jung
authored
Feb 24, 2016
66bb3579
benchmark-extractor: deal correctly with individual commits
· 1a66d561
Ralf Jung
authored
Feb 24, 2016
1a66d561
the extractor script can now iterate over commits, and get the build artifact
· 18f2e6b0
Ralf Jung
authored
Feb 24, 2016
18f2e6b0
first version of a script ti extract benachmark results from GitLab
· 115c4a17
Ralf Jung
authored
Feb 24, 2016
115c4a17
