Skip to content

Actions: E-Sh4rk/MLsem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow runs
572 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
fix Not_found with direct type narrowing Deploy web version #572: Commit 2760f3e pushed by E-Sh4rk
16m 33s main
main
16m 33s
improve Optimize.clean Deploy web version #571: Commit d3ded1e pushed by E-Sh4rk
11m 30s main
main
11m 30s
refactor Deploy web version #570: Commit 7419f0a pushed by E-Sh4rk
10m 38s main
main
10m 38s
printer for System.Ast Deploy web version #569: Commit e711c89 pushed by E-Sh4rk
10m 59s main
main
10m 59s
update makefile Deploy web version #568: Commit 939f98a pushed by E-Sh4rk
10m 47s main
main
10m 47s
update doc Deploy web version #567: Commit e390de1 pushed by E-Sh4rk
10m 16s main
main
10m 16s
add tag projection in the test suite Deploy web version #566: Commit 77c099e pushed by E-Sh4rk
10m 43s main
main
10m 43s
add TTagProj operator in Types.Builder Deploy web version #565: Commit b0254bb pushed by E-Sh4rk
10m 37s main
main
10m 37s
add tag projections in the surface language Deploy web version #564: Commit bb74703 pushed by E-Sh4rk
10m 51s main
main
10m 51s
refactor Deploy web version #563: Commit 456ee6d pushed by E-Sh4rk
10m 27s main
main
10m 27s
only record meaningful tallying instances Deploy web version #562: Commit 9a97952 pushed by E-Sh4rk
10m 48s main
main
10m 48s
reorder tests Deploy web version #561: Commit a53b221 pushed by E-Sh4rk
10m 17s main
main
10m 17s
add connectives example from ifT-benchmark to the test suite Deploy web version #560: Commit 1adab93 pushed by E-Sh4rk
10m 58s main
main
10m 58s
mVariable Deploy web version #559: Commit 333f26d pushed by E-Sh4rk
10m 12s main
main
10m 12s
mVariable Deploy web version #558: Commit 088dfa1 pushed by E-Sh4rk
10m 12s main
main
10m 12s
allow dyn in top-level annotations for mutable vars Deploy web version #557: Commit e5c800b pushed by E-Sh4rk
8m 58s main
main
8m 58s
allow gradual types in the surface ast Deploy web version #556: Commit b04bbea pushed by E-Sh4rk
10m 37s main
main
10m 37s
support for dyn in the type builder Deploy web version #555: Commit bc1c359 pushed by E-Sh4rk
10m 45s main
main
10m 45s
GTy.Builder module Deploy web version #554: Commit b036ee7 pushed by E-Sh4rk
11m 16s main
main
11m 16s
refactor type builder and main (remove functors, too much machinery f… Deploy web version #553: Commit 2c62c5d pushed by E-Sh4rk
10m 38s main
main
10m 38s
refactor Deploy web version #552: Commit 41a28e5 pushed by E-Sh4rk
10m 32s main
main
10m 32s
call normalization_fun less often Deploy web version #551: Commit 1a3d548 pushed by E-Sh4rk
12m 58s main
main
12m 58s
small fix in Refinement module Deploy web version #550: Commit 868afd7 pushed by E-Sh4rk
10m 32s main
main
10m 32s
type operator: record projection Deploy web version #549: Commit 0f3e0d6 pushed by E-Sh4rk
11m 10s main
main
11m 10s
normalize type expressions Deploy web version #548: Commit 7ddcc1a pushed by E-Sh4rk
10m 49s main
main
10m 49s