Saltar a contenido

Gestionar tus repositorios#

Conectar un repositorio#

Cuando tengas el código fuente de tu solver gestionado en un repositorio Git, puedes conectar este repositorio con la plataforma. Esto es necesario para permitir que la plataforma acceda al código fuente y pueda ejecutarlo.

Importante

Asegúrate de seguir todos los pasos del proceso siguiente, especialmente el paso 3.d, donde tienes que ir a tu servidor Git (GitHub, por ejemplo) y añadir la Deploy Key proporcionada por la plataforma.

Para conectar un repositorio con la plataforma:

  1. Ve a la sección Solvers > Repositories desde el menú lateral izquierdo.
  2. Después, en la esquina superior derecha, haz clic en el botón Connect a new repository.
  3. Verás el asistente de conexión del repositorio, donde puedes realizar todos los pasos necesarios:
    1. Selecciona el solver alojado en este repositorio.
    2. Completa la información del repositorio: nombre y URL SSH (una URL SSH válida en tu servidor Git).
    3. Genera un par de claves SSH para garantizar un acceso controlado y seguro a tu código.
    4. Ve a tu servidor Git: Your repository > Settings > Deploy keys y añade la clave generada.
  4. Haz clic en el botón Connect al final del asistente para completar el proceso.

En este momento, tu repositorio está conectado y solo tienes que esperar a que termine el proceso de actualización del solver.

Verás tu nuevo repositorio marcado como Connected cuando termine.

Asignar un solver a un repositorio conectado#

Cuando hayas registrado un solver pero todavía no lo hayas asignado a un repositorio, verás este mensaje en la barra lateral derecha:

Solver, assign to repo

Puedes hacer dos cosas:

  • Conectar un nuevo repositorio (consulta la sección anterior).
  • Ir a un repositorio existente y asignarle este solver.

Para hacer lo segundo:

  1. Ve a la sección Repositories desde el menú lateral izquierdo.
  2. Haz clic en el repositorio que aloja el código fuente de este solver para acceder a su página de detalle.
  3. Haz clic en el botón Add another solver.

  4. Selecciona el solver de la lista y escribe el nombre de la rama o tag que quieres usar para este solver.

    Solver, assign to repo

  5. Haz clic en el botón Save.

Después, puedes hacer clic en el botón Pull para descargar el código y compilar el solver. Consulta la siguiente sección para más detalles.

Hacer pull y recompilar tu solver#

Desde la página de detalle de tu solver, haz clic en el botón Go to repo de la barra lateral derecha:

Solver, go to repo

Cuando estés en la página de detalle del repositorio, haz clic en el botón Pull junto al solver que quieres recompilar.

Pull and build solver

Debajo puedes consultar el historial de pulls. Espera hasta que este proceso aparezca como Finished y asegúrate de que el commit descargado sea el que acabas de subir al servidor Git.

Ahora, tu solver está listo para ejecutar jobs en la plataforma.

Qué sigue#

Ejecutar un job