Skip to content

Actions: andreadlm/master-thesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ristrutturazione e adattamento dimostrazioni compilatore Build library #27: Commit 9692ea0 pushed by andreadlm
1m 24s main
main
1m 24s
Ristrutturazione e adattamento dimostrazioni compilatore Generate documentation #30: Commit 9692ea0 pushed by andreadlm
5m 30s main
main
5m 30s
Aggiunto compiler_v2 Generate documentation #29: Commit 4a91669 pushed by andreadlm
5m 40s main
main
5m 40s
Aggiunto compiler_v2 Build library #26: Commit 4a91669 pushed by andreadlm
1m 29s main
main
1m 29s
Ristrutturata dimostrazione soundness_v2 Build library #25: Commit 547ce8b pushed by andreadlm
1m 21s main
main
1m 21s
Ristrutturata dimostrazione soundness_v2 Generate documentation #28: Commit 547ce8b pushed by andreadlm
4m 32s main
main
4m 32s
Completata dimostrazione ev_invariant Generate documentation #27: Commit 79d0d08 pushed by andreadlm
4m 18s main
main
4m 18s
Completata dimostrazione ev_invariant Build library #24: Commit 79d0d08 pushed by andreadlm
1m 23s main
main
1m 23s
Nota sull'impossibilità di eseguire l2s da Windows Build library #23: Commit 0fa1676 pushed by andreadlm
1m 42s main
main
1m 42s
Nota sull'impossibilità di eseguire l2s da Windows Generate documentation #26: Commit 0fa1676 pushed by andreadlm
4m 18s main
main
4m 18s
Corretto namespace Build library #22: Commit 9d11503 pushed by andreadlm
1m 24s main
main
1m 24s
Corretto namespace Generate documentation #25: Commit 9d11503 pushed by andreadlm
4m 24s main
main
4m 24s
Cambiamenti vari Build library #21: Commit 023afdf pushed by andreadlm
1m 16s main
main
1m 16s
Cambiamenti vari Generate documentation #24: Commit 023afdf pushed by andreadlm
4m 16s main
main
4m 16s
Modificata notazione per eq_states. Cambiamenti minori Generate documentation #23: Commit 0a5fabb pushed by andreadlm
4m 35s main
main
4m 35s
Modificata notazione per eq_states. Cambiamenti minori Build library #20: Commit 0a5fabb pushed by andreadlm
1m 21s main
main
1m 21s
Rimosso Invertible Generate documentation #22: Commit ad47b74 pushed by andreadlm
4m 33s main
main
4m 33s
Rimosso Invertible Build library #19: Commit ad47b74 pushed by andreadlm
1m 22s main
main
1m 22s
Cambiamenti minori Generate documentation #21: Commit 71437f7 pushed by andreadlm
58s main
main
58s
Cambiamenti minori Build library #18: Commit 71437f7 pushed by andreadlm
57s main
main
57s
Aggiornamento a lean 4.11.0 Generate documentation #20: Commit 4dba861 pushed by andreadlm
5m 1s main
main
5m 1s
Aggiornamento a lean 4.11.0 Build library #17: Commit 4dba861 pushed by andreadlm
1m 48s main
main
1m 48s
Cambiamenti minori Build library #16: Commit a3d49e3 pushed by andreadlm
1m 20s main
main
1m 20s
Cambiamenti minori Generate documentation #19: Commit a3d49e3 pushed by andreadlm
4m 20s main
main
4m 20s
Cambiamenti minori Build library #15: Commit 9856e31 pushed by andreadlm
1m 47s main
main
1m 47s