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
openmole
openmole
Merge requests
!16
Merged
Created
Jun 16, 2019
by
Romain Reuillon
@reuillon
Owner
Options
[GUI] enh: use execution time instead of elapsed time
Overview
0
Commits
1
Changes
3
