Port bleeding-edge-compilers to new jenkins

Abierto
#45 1 comentario 0 reacciones 2 asignados Ver en GitHub

@dylex ya está trabajando en esto.

Desde el 10/9/2026.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

A reminder for me and @dylex

Lenguaje dominante
Shell
Estrellas
1
Forks
3
Merge medio
1 min
PR fusionados (30 d)
1

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

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 stan-dev/ci-scripts

Todos los issues de stan-dev/ci-scripts

Issues similares

Más issues de Shell/Bash

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.