Skip to content

Actions: cslib-community/CSwL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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
feat(logic): finish the two logic chapters, and add the inference engine GitHub Pages #9: Commit dadfe4b pushed by arademaker
3m 48s main
main
3m 48s
fix(ci): publish the student variant via GitHub Pages GitHub Pages #8: Commit fc6b12a pushed by arademaker
28m 18s main
main
28m 18s
refactor: rename html-multi to html, translate comments to English GitHub Pages #7: Commit 45e717e pushed by arademaker
39m 57s main
main
39m 57s
Documenta política de commits com IA no CLAUDE.md do repositório GitHub Pages #6: Commit 4744523 pushed by arademaker
5m 26s main
main
5m 26s
Add Apache License 2.0 GitHub Pages #5: Commit 55decdd pushed by arademaker
51m 58s main
main
51m 58s
Renumera capítulo 2, cobre lacuna do finlandês e alinha exercícios às… GitHub Pages #4: Commit bbd0659 pushed by arademaker
51m 21s main
main
51m 21s
Codespaces: .devcontainer com Lean na versão do projeto GitHub Pages #3: Commit 09066f9 pushed by arademaker
2m 43s main
main
2m 43s
Capítulo 1 completo e §2.4/§2.5 no capítulo 2 GitHub Pages #2: Commit f560990 pushed by arademaker
3m 10s main
main
3m 10s
Capítulos 1–3, saída web (Verso) e documentação (doc-gen4) GitHub Pages #1: Commit 3c473d7 pushed by arademaker
18m 4s main
main
18m 4s
first commit Lean Action CI #1: Commit 92b97f0 pushed by arademaker
2m 50s main
main
2m 50s