Skip to content

Actions: etylizer/etylizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow runs
572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

towards pretty Erlang CI #607: Commit 85e9525 pushed by albsch
2m 37s as/pretty
as/pretty
2m 37s
Hash-consing and memoization of BDDs Erlang CI #606: Pull request #166 opened by albsch
3m 39s as/hashcons
as/hashcons
3m 39s
why are pretty tests failing? theyre commented out... Erlang CI #605: Commit e2473c7 pushed by albsch
3m 47s as/hashcons
as/hashcons
3m 47s
hash cons ty Erlang CI #604: Commit f1f019c pushed by albsch
3m 51s as/hashcons
as/hashcons
3m 51s
special constraints for calls of top-level funs (#162) Erlang CI #603: Commit e796bda pushed by albsch
2m 52s main
main
2m 52s
special constraints for calls of top-level funs Erlang CI #602: Pull request #162 synchronize by skogsbaer
3m 58s sw/rec-funs
sw/rec-funs
3m 58s
Merge remote-tracking branch 'origin/main' into sw/rec-funs Erlang CI #601: Commit a34e2a0 pushed by skogsbaer
2m 59s sw/rec-funs
sw/rec-funs
2m 59s
Merge pull request #165 from etylizer/as/fix-variables Erlang CI #600: Commit 560890d pushed by skogsbaer
3m 4s main
main
3m 4s
towards memo Erlang CI #599: Commit 0fa1335 pushed by albsch
42s as/ty_rec-memo
as/ty_rec-memo
42s
Fix type transformation Erlang CI #598: Pull request #165 synchronize by albsch
3m 9s as/fix-variables
as/fix-variables
3m 9s
Fixes two bugs that cause #160. Erlang CI #597: Commit 2b2a4e1 pushed by albsch
3m 8s as/fix-variables
as/fix-variables
3m 8s
Fix type transformation Erlang CI #596: Pull request #165 synchronize by albsch
3m 11s as/fix-variables
as/fix-variables
3m 11s
Added Symtab support for tally tests. Erlang CI #595: Commit 88fded6 pushed by albsch
3m 10s as/fix-variables
as/fix-variables
3m 10s
Fix type transformation Erlang CI #594: Pull request #165 synchronize by albsch
3m 9s as/fix-variables
as/fix-variables
3m 9s
Fixes two bugs that cause #160. Erlang CI #593: Commit d2cf705 pushed by albsch
3m 17s as/fix-variables
as/fix-variables
3m 17s
Fix type transformation Erlang CI #592: Pull request #165 synchronize by albsch
3m 8s as/fix-variables
as/fix-variables
3m 8s
Fix #160. Erlang CI #591: Commit b5616ad pushed by albsch
3m 12s as/fix-variables
as/fix-variables
3m 12s
Fix type transformation Erlang CI #590: Pull request #165 synchronize by albsch
3m 15s as/fix-variables
as/fix-variables
3m 15s
Fix #160. Erlang CI #589: Commit 735a8ad pushed by albsch
3m 13s as/fix-variables
as/fix-variables
3m 13s
Fix type transformation Erlang CI #588: Pull request #165 synchronize by albsch
2m 37s as/fix-variables
as/fix-variables
2m 37s
fix dialyzer Erlang CI #587: Commit 8ecb129 pushed by albsch
2m 7s as/fix-variables
as/fix-variables
2m 7s
Fix type transformation Erlang CI #586: Pull request #165 opened by albsch
3m 6s as/fix-variables
as/fix-variables
3m 6s
finished tests Erlang CI #585: Commit 8c34387 pushed by albsch
3m 14s as/fix-variables
as/fix-variables
3m 14s
special constraints for calls of top-level funs Erlang CI #584: Pull request #162 synchronize by skogsbaer
3m 23s sw/rec-funs
sw/rec-funs
3m 23s
improve logging Erlang CI #583: Commit 0e73bb2 pushed by skogsbaer
3m 0s sw/rec-funs
sw/rec-funs
3m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-10-29 or the other filters available.