Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
Arkadiusz Janz
corpus2mwe
Pipelines
#2801
Merge branch 'develop' into 'master'
Develop See merge request
!4
1 job for
master
in 4 minutes and 30 seconds (queued for 2 seconds)
01556927
No related merge requests found.
Pipeline
Needs
Jobs
1
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#5152
build_image
00:04:30
Mar 31, 2021