Skip to content

Actions: etylizer/etylizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
576 workflow runs
576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

special constraints for calls of top-level funs Erlang CI #582: Pull request #162 opened by skogsbaer
3m 22s sw/rec-funs
sw/rec-funs
3m 22s
special constraints for calls of top-level funs Erlang CI #581: Commit 7a40dc3 pushed by skogsbaer
3m 10s sw/rec-funs
sw/rec-funs
3m 10s
fix #157: consistent variable ordering (#159) Erlang CI #580: Commit 1f320cc pushed by albsch
3m 8s main
main
3m 8s
fix #157: consistent variable ordering Erlang CI #579: Pull request #159 opened by skogsbaer
3m 7s sw/fix157
sw/fix157
3m 7s
consistent ordering of type variables for type definitions #157 Erlang CI #578: Commit baf852b pushed by skogsbaer
3m 11s sw/fix157
sw/fix157
3m 11s
Merge pull request #158 from etylizer/as/fix-corecursion Erlang CI #577: Commit c5e18ef pushed by skogsbaer
3m 4s main
main
3m 4s
Fix co-recursion for subtyping and tallying Erlang CI #576: Pull request #158 synchronize by albsch
3m 40s as/fix-corecursion
as/fix-corecursion
3m 40s
Added test case for soundndess bug and bad caching behavior. When dis… Erlang CI #575: Commit f198037 pushed by albsch
3m 9s as/fix-corecursion
as/fix-corecursion
3m 9s
improvements (#156) Erlang CI #574: Commit 1b4cb24 pushed by albsch
2m 58s main
main
2m 58s
Fix co-recursion for subtyping and tallying Erlang CI #573: Pull request #158 synchronize by albsch
3m 16s as/fix-corecursion
as/fix-corecursion
3m 16s
Added test case for soundndess bug and bad caching behavior. When dis… Erlang CI #572: Commit a63fd87 pushed by albsch
3m 20s as/fix-corecursion
as/fix-corecursion
3m 20s
Fix co-recursion for subtyping and tallying Erlang CI #571: Pull request #158 opened by albsch
3m 12s as/fix-corecursion
as/fix-corecursion
3m 12s
Unified tally normalize. Erlang CI #570: Commit 08a166a pushed by albsch
3m 11s as/fix-corecursion
as/fix-corecursion
3m 11s
Unified tally normalize. Erlang CI #569: Commit 7996309 pushed by albsch
3m 16s as/fix-corecursion
as/fix-corecursion
3m 16s
Unified tally normalize. Erlang CI #568: Commit 79df913 pushed by albsch
3m 22s as/fix-corecursion
as/fix-corecursion
3m 22s
prepared file for strange global state bug Erlang CI #567: Commit 7070ee7 pushed by skogsbaer
3m 2s sw/case-study
sw/case-study
3m 2s
improvements Erlang CI #566: Pull request #156 opened by skogsbaer
2m 56s sw/improve-2024-10-25
sw/improve-2024-10-25
2m 56s
non-active test for recursive records #152 Erlang CI #565: Commit d3e05a7 pushed by skogsbaer
3m 2s sw/improve-2024-10-25
sw/improve-2024-10-25
3m 2s
Examples from dynlang Erlang CI #564: Commit 4c93f14 pushed by albsch
2m 26s dynlang-examples
dynlang-examples
2m 26s
Add some DNF function simplifications Erlang CI #563: Commit 392cd97 pushed by edgardSchi
3m 10s as/fun-simpl
as/fun-simpl
3m 10s
Fix typo (#150) Erlang CI #562: Commit 3de6a30 pushed by albsch
3m 12s main
main
3m 12s
Fix typo Erlang CI #561: Pull request #150 opened by pguyot
3m 8s pguyot:patch-1
pguyot:patch-1
3m 8s
towards fun simpl Erlang CI #560: Commit 0610b14 pushed by albsch
2m 11s as/fun-simpl
as/fun-simpl
2m 11s
fix soundness bug with maps #139 (#147) Erlang CI #559: Commit 1c50bd4 pushed by albsch
3m 9s main
main
3m 9s
fix soundness bug with maps #139 Erlang CI #558: Pull request #147 synchronize by skogsbaer
3m 7s sw/map-soundness-139
sw/map-soundness-139
3m 7s
ProTip! You can narrow down the results and go further in time using created:<2024-10-16 or the other filters available.