Add more Nix versions to test CI workflow

Evaluación

Este issue todavía no se ha evaluado.

Descripción

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 runtimeverification/kup

• Check version of already installed nix binary

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

  runtimeverification/kup#149 · Abierto el 22/4/2026

• `--version` argument in `kup install` doesn't disambiguate between paths and branch names

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/kup#138 · Abierto el 18/8/2025

• Update `kup list` to show nicer and shorter version strings again

  Quizá libre de nuevo @juliankuners la tomó hace 426 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/kup#137 · 1 comentario · 1 asignado · Abierto el 31/7/2025

• Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions

  Quizá libre de nuevo @juliankuners la tomó hace 426 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/kup#135 · 1 asignado · Abierto el 31/7/2025

• kup doesn't work in `--no-daemon` (single user) Nix installs

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/kup#121 · 1 comentario · Abierto el 8/8/2024

Todos los issues de runtimeverification/kup

Issues similares

• Tighten language in 3.2.2 about MPIC

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100

  letsencrypt/cp-cps#353 · Abierto el 30/9/2026

• Marble Madness II is missing

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

  MiSTer-devel/Downloader_MiSTer#65 · Abierto el 30/9/2026

• Journey-mode exits ignore capacity_agents_per_s

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

  PedestrianDynamics/pyFDS-Evac#394 · Abierto el 30/9/2026

  Los mantenedores suelen responder en 1 día

• NetCdfWrite drops string coordinates that share a char length

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

  DOI-USGS/pywatershed#421 · Abierto el 30/9/2026

• XBM loader is too strict on variable name

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

  python-pillow/Pillow#10087 · 1 comentario · Abierto el 30/9/2026

  Los mantenedores suelen responder en 1 día

Más issues de Python