merge-installers #7

Merged
nserrano merged 6 commits from merge-installers into main 2023-11-27 13:44:39 +01:00
Collaborator

En esta rama he quitado el instalador antiguo y también he añadido un parámetro adicional al jenkins. De paso añadí unos echo's por aquí y por allá.

En esta rama he quitado el instalador antiguo y también he añadido un parámetro adicional al jenkins. De paso añadí unos echo's por aquí y por allá.
lgromero was assigned by nserrano 2023-11-24 14:26:16 +01:00
vtroshchinskiy was assigned by nserrano 2023-11-24 14:26:16 +01:00
nserrano added 6 commits 2023-11-24 14:26:17 +01:00
vtroshchinskiy approved these changes 2023-11-24 14:56:14 +01:00
vtroshchinskiy left a comment
Collaborator

Todo tiene buena pinta

Todo tiene buena pinta
nserrano merged commit 1e13be9ba4 into main 2023-11-27 13:44:39 +01:00
nserrano deleted branch merge-installers 2023-11-30 09:31:03 +01:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: opengnsys/opengnsys#7
There is no content yet.