Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
lava
lava
lava / lava
14 forks: 10 public, 3 internal, and 1 private
Created date
Emanuele Aina /
lava
Merge branch 'collabora/staging-database-persistent-connections' into 'collabora/staging'
0
Updated
May 15, 2023
0
0
0
Updated
May 15, 2023
Tomer Galor /
lava
Merge branch 'wip/gtucker/depthcharge-emmc' into 'collabora/production'
0
Updated
May 10, 2022
0
0
0
Updated
May 10, 2022
Laura Nao /
lava
Merge remote-tracking branch 'collabora/collabora/staging' into collabora/production
0
Updated
Mar 24, 2023
0
0
0
Updated
Mar 24, 2023
Paweł Wieczorek /
lava
Tag Docker image as "latest" as well
0
Updated
Oct 30, 2023
0
0
0
Updated
Oct 30, 2023
Ricardo Cañuelo /
lava
Add a way to customize failure_retry variable
0
Updated
Apr 12, 2021
0
0
0
Updated
Apr 12, 2021
Gustavo Noronha /
lava
Add a way to customize failure_retry variable
0
Updated
Apr 29, 2021
0
0
0
Updated
Apr 29, 2021
Mylène Josserand /
lava
Add hp-11A-G6-EE-grunt device type template
0
Updated
Jul 30, 2020
0
0
0
Updated
Jul 30, 2020
Maxime Buquet /
lava
device-types: add initrd command to nfs_commands
0
Updated
Oct 03, 2020
0
0
0
Updated
Oct 03, 2020
Guillaume Tucker /
lava
Merge branch 'tar-test-definition' into 'master'
0
Updated
Jun 27, 2023
0
0
0
Updated
Jun 27, 2023
Lakshmipathi Ganapathi /
lava
Convert Decimals to String objects in YAML
0
Updated
Oct 03, 2020
0
0
0
Updated
Oct 03, 2020