Skip to content

Actions: javileyes/ExpliCAS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Security audit Security audit #10: Scheduled
30s main
main
30s
Security audit Security audit #9: Scheduled
26s main
main
26s
Cardano y casus irreducibilis bajo != publicaban sus raíces: los reco… pages #116: Commit 7f6bac3 pushed by javileyes
4m 43s main
main
4m 43s
Los polinomios expandidos ≥3 bajo != publicaban las raíces como soluc… pages #115: Commit adaa78a pushed by javileyes
4m 15s main
main
4m 15s
El Neq-producto n-ario gana dueño: el «Cycle detected» era el guard d… pages #114: Commit 646a1e0 pushed by javileyes
4m 14s main
main
4m 14s
Estado final de la tanda en el plan: D0/D1/P0/D4/D2 completos; D3 pen… pages #113: Commit 1c4222d pushed by javileyes
4m 18s main
main
4m 18s
D2-1: el support del orquestador se declara API del pipeline — y el o… pages #112: Commit d9dea0a pushed by javileyes
3m 54s main
main
3m 54s
D4-3 — cierre de D4: los abs de dominio y la narración ya eran cohere… pages #111: Commit 525009d pushed by javileyes
4m 10s main
main
4m 10s
D4-2: los probadores heredan el eje — auditoría negativa fijada como … pages #110: Commit eeeab28 pushed by javileyes
3m 16s main
main
3m 16s
D4-1: las primitivas logarítmicas declaran su eje — ln(u) con rama pr… pages #109: Commit 6030043 pushed by javileyes
4m 39s main
main
4m 39s
D1c-11 — cierre de D1: la familia angular se declara y los 12 dispara… pages #108: Commit 0d62912 pushed by javileyes
4m 15s main
main
4m 15s
Re-evaluación del plan tras D1c-8: gana D4 (eje de dominio); el bloqu… pages #107: Commit 7d88b53 pushed by javileyes
4m 29s main
main
4m 29s
D1c-3/4: la promoción neutra irradia; la familia trig se declara semi… pages #106: Commit b1032ac pushed by javileyes
4m 21s main
main
4m 21s
D1c-2: segundo disparador migrado — el umbral descubre la API, la sem… pages #105: Commit 0655aa1 pushed by javileyes
4m 31s main
main
4m 31s
Ajustar el diseño de la barra de entrada para mejorar la usabilidad e… pages #104: Commit 1b2d198 pushed by javileyes
4m 21s main
main
4m 21s
Añadir panel de información sobre la unidad imaginaria y botón de ins… pages #103: Commit 1c3906f pushed by javileyes
5m 1s main
main
5m 1s
La rama degenerada del factor de contenido paramétrico se recupera en… pages #102: Commit 0f7fb63 pushed by javileyes
4m 16s main
main
4m 16s
Refactor: actualizar referencias y mejorar la gestión de anclajes en … pages #101: Commit 7e9a4c2 pushed by javileyes
4m 38s main
main
4m 38s
Refactor: unificar filtros de pruebas en procesos hijos y mejorar la … pages #100: Commit 989974e pushed by javileyes
4m 12s main
main
4m 12s
Refactor: unificar la lógica de escape para texto en modo MathJax y c… pages #99: Commit d91aa2b pushed by javileyes
4m 29s main
main
4m 29s
Skill auto-mejora: pasada B de cierre de sesión — la cosecha entera e… pages #98: Commit f5e33e3 pushed by javileyes
4m 18s main
main
4m 18s
Ledger: pendiente de L17 cerrado — asignadores unificados en cas_ast:… pages #97: Commit a304173 pushed by javileyes
4m 41s main
main
4m 41s
La tabla u-du acepta u anidadas: la ruta aprende la dualidad exp y a … pages #96: Commit 6a7909e pushed by javileyes
4m 27s main
main
4m 27s
Ledger: pista (b) de L16 ejecutada — tope temporal conectado, molino … pages #95: Commit 529f8a5 pushed by javileyes
4m 24s main
main
4m 24s
L16(b) escopada: el Budget es poseído, no thread-local — los Simplifi… pages #94: Commit 76d6ebd pushed by javileyes
4m 43s main
main
4m 43s