Skip to content

Correcciones de varios errores (no de texto) - #13

Merged
agj merged 12 commits into
masterfrom
correcciones
Jul 17, 2026
Merged

agj merged 12 commits into
masterfrom
correcciones

Conversation

@agj

@agj agj commented Jul 17, 2026 •

Copy link
Copy Markdown
Owner

Corrijo:

  • Links que no funcionan por estar mal formateados o sin actualizar.
  • Encabezados con formato incorrecto, o repetidos, que producen problemas para links.
  • Referencias (URLs) a links que no existen.

También:

  • Agregué el uso de markdownlinter para chequear errores en markdown, lo que llevó a varias de las correcciones mencionadas arriba.
  • Actualicé dependencias.
  • Actualicé la acción magic-nix-cache usada en CI, que había dejado de funcionar por cambios en cómo funcionan las acciones de GitHub, y que en su última versión ya debiera volver a funcionar.
  • Actualicé todas las otras acciones, poniéndoles commit específico en vez de referencia a una etiqueta git.

@agj
agj merged commit 4b52dbf into master Jul 17, 2026
1 check passed
@agj
agj deleted the correcciones branch July 17, 2026 02:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant