Skip to content

Actions: Progetto-ItaCa/libro

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

alcune osservazioni sui limiti .github/workflows/build.yml #249: Commit c9535b1 pushed by tetrapharmakon
2m 28s main
main
2m 28s
Refactor arrow definitions to use a wrapper for consistent styling .github/workflows/build.yml #248: Commit abd0daf pushed by tetrapharmakon
1m 31s main
main
1m 31s
lint .github/workflows/build.yml #247: Commit 7fff7f9 pushed by tetrapharmakon
2m 30s main
main
2m 30s
Refactor mathematical notation and terminology in various sections .github/workflows/build.yml #246: Commit d5bc988 pushed by tetrapharmakon
2m 43s main
main
2m 43s
a .github/workflows/build.yml #245: Commit 854ab73 pushed by tetrapharmakon
7m 19s main
main
7m 19s
cleanup massiccio con latexindent + un esempio di limite .github/workflows/build.yml #244: Commit 65fedf4 pushed by tetrapharmakon
3m 48s main
main
3m 48s
fix: update natHom command to accept four mandatory arguments in itac… .github/workflows/build.yml #243: Commit 91ca08a pushed by tetrapharmakon
2m 45s main
main
2m 45s
importante precisazione à propos degli epi estremali .github/workflows/build.yml #242: Commit 5f94a6d pushed by tetrapharmakon
2m 30s main
main
2m 30s
fix: add label to strong mono and epi definition in 08-monomorfismi-e… .github/workflows/build.yml #241: Commit d9fc1de pushed by tetrapharmakon
2m 34s main
main
2m 34s
fix: correct LaTeX syntax for S-spanna generica definition in 02-esem… .github/workflows/build.yml #240: Commit 36abb95 pushed by tetrapharmakon
2m 58s main
main
2m 58s
Merge branch 'main' of https://github.com/Progetto-ItaCa/libro .github/workflows/build.yml #239: Commit 9cbe2b1 pushed by tetrapharmakon
2m 46s main
main
2m 46s
Merge pull request #78 from paolobrasolin/feat/figurina .github/workflows/build.yml #238: Commit 56cf41c pushed by tetrapharmakon
3m 12s main
main
3m 12s
werk qua e là .github/workflows/build.yml #237: Commit 948fb4e pushed by tetrapharmakon
3m 4s main
main
3m 4s
epiforte => epi come esercizio + fix broken macros .github/workflows/build.yml #236: Commit 988740d pushed by tetrapharmakon
2m 31s main
main
2m 31s
proprietà epi forti + monoidi grafici + lint .github/workflows/build.yml #235: Commit 97159cd pushed by tetrapharmakon
2m 52s main
main
2m 52s
Merge branch 'main' of https://github.com/Progetto-ItaCa/libro .github/workflows/build.yml #234: Commit 9f2a302 pushed by tetrapharmakon
2m 28s main
main
2m 28s
Merge pull request #77 from paolobrasolin/fix/index-bugs .github/workflows/build.yml #233: Commit bd05b18 pushed by tetrapharmakon
2m 25s main
main
2m 25s
hom è ora obsoleto .github/workflows/build.yml #232: Commit 5dc2ff3 pushed by tetrapharmakon
2m 50s main
main
2m 50s
rimosso mathabx; mosso a stix per migliore controllo frecce .github/workflows/build.yml #231: Commit ddc2068 pushed by tetrapharmakon
2m 25s main
main
2m 25s
some index voices added .github/workflows/build.yml #230: Commit c338628 pushed by tetrapharmakon
2m 56s main
main
2m 56s
Improve clarity in category theory texts by restructuring appendices … .github/workflows/build.yml #229: Commit e1ec5e8 pushed by tetrapharmakon
2m 31s main
main
2m 31s
Fix LaTeX syntax and terminology in category theory documents; update… .github/workflows/build.yml #228: Commit 206b02b pushed by tetrapharmakon
2m 39s main
main
2m 39s
piccolo typo .github/workflows/build.yml #227: Commit 6dad5a0 pushed by tetrapharmakon
2m 52s main
main
2m 52s
Miglioramenti e chiarimenti nei testi riguardanti funtori, rappresent… .github/workflows/build.yml #226: Commit 70f9d54 pushed by tetrapharmakon
2m 58s main
main
2m 58s
migliorie varie : Aggiunta di definizioni e miglioramenti di chiarezz… .github/workflows/build.yml #225: Commit dbb6719 pushed by tetrapharmakon
2m 52s main
main
2m 52s