The generated-files builder timeout cannot be changed

Abierto Apto para principiantes
#1,306 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
82/100
Tipo de issue
Nueva funcionalidad
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
python
Área
tooling

Línea de trabajo

Empieza por scripts/check_generated_files_current.py, especialmente por BUILD_TIMEOUT y el tratamiento existente de FAIRCODE_GH_TIMEOUT. Lee el docstring del módulo y las pruebas relevantes; después, comprueba cómo aplica el builder su tiempo de espera. Se considera terminado cuando una prueba confirma que FAIRCODE_BUILD_TIMEOUT establece el límite y que un valor no válido hace que se usen 600 segundos.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

enhancement good first issue tooling

Where: scripts/check_generated_files_current.py (BUILD_TIMEOUT).

Current gap: The 600 s limit for each regeneration step is a constant, so a slow CI runner or a very large explainer set needs a code change (the gh timeout got FAIRCODE_GH_TIMEOUT for this reason).

Suggested approach: Read an optional FAIRCODE_BUILD_TIMEOUT (seconds), ignore values that are not positive numbers and mention it in the module docstring.

Done when: a test sets the variable and sees the limit used, and an invalid value falls back to 600.

Lenguaje dominante
HTML
Estrellas
47
Forks
45
Merge medio
2 h 47 min
PR fusionados (30 d)
92

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de yakew7/Fair-Code

Todos los issues de yakew7/Fair-Code

Issues similares

Más issues de DevTools

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.