Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
R3
howto-cards
Pipelines
#37918
Merge branch 'develop' into 'master'
[release] Regular merge of develop See merge request
!237
3 jobs for
v3.1.3
in 1 minute and 4 seconds (queued for 1 second)
latest
3cbe4bf1
No related merge requests found.
Pipeline
Needs
Jobs
3
Tests
0
Status
Job ID
Name
Coverage
Prepare
passed
#236148
prepare:index
00:00:12
Feb 25, 2021
Build
passed
#236149
build:pages
00:00:37
Feb 25, 2021
Generate
passed
#236150
generate:searchIndex
00:00:14
Feb 25, 2021