Skip to content

Actions: tychodub/PredicateSubtypesVerCors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Test Report Generate Test Report #4: completed by tychodub
14s
14s
added automatic conversion of Java int types to ints strictly checked… Run ScalaTest #16: Commit 7947fef pushed by tychodub
13s rolledBack2
rolledBack2
13s
Generate Test Report Generate Test Report #3: completed by tychodub
14s
14s
cleaned up imports in SubtypeFunctionArgRewrite and SubtypeStrictChec… Run ScalaTest #15: Commit b3e9fe4 pushed by tychodub
12s rolledBack
rolledBack
12s
Generate Test Report Generate Test Report #2: completed by tychodub
24s
24s
fixed compilation, but locally fails to find main file now for some r… Run ScalaTest #14: Commit d83993f pushed by tychodub
26m 50s master
master
26m 50s
fixed compilation, but locally fails to find main file now for some r… (Pre)-Release #13: Commit d83993f pushed by tychodub
17m 34s master
master
17m 34s
Generate Test Report Generate Test Report #1: completed by tychodub
14s
14s
cleaned up some formatting issues from the merge Run ScalaTest #13: Commit 405c21a pushed by tychodub
1m 15s master
master
1m 15s
cleaned up some formatting issues from the merge (Pre)-Release #12: Commit 405c21a pushed by tychodub
1m 20s master
master
1m 20s
cleaned up some formatting issues from the merge Run ScalaTest #12: Commit 405c21a pushed by tychodub
1m 9s updateBranch
updateBranch
1m 9s
cleaned up imports in SubtypeFunctionArgRewrite and SubtypeStrictChec… (Pre)-Release #11: Commit b3e9fe4 pushed by tychodub
12m 38s master
master
12m 38s
cleaned up imports in SubtypeFunctionArgRewrite and SubtypeStrictChec… Run ScalaTest #11: Commit b3e9fe4 pushed by tychodub
12s master
master
12s
added automatic conversion of Java int types to ints strictly checked… (Pre)-Release #10: Commit 7947fef pushed by tychodub
11m 54s master
master
11m 54s
added automatic conversion of Java int types to ints strictly checked… Run ScalaTest #10: Commit 7947fef pushed by tychodub
13s master
master
13s
added strict typechecking for binary numeric operations (Pre)-Release #9: Commit 2c46a56 pushed by tychodub
13m 35s master
master
13m 35s
added strict typechecking for binary numeric operations Run ScalaTest #9: Commit 2c46a56 pushed by tychodub
13s master
master
13s
further improved the .col output in terms of readability by avoiding … Run ScalaTest #8: Commit e0ce41b pushed by tychodub
14s master
master
14s
further improved the .col output in terms of readability by avoiding … (Pre)-Release #8: Commit e0ce41b pushed by tychodub
12m 5s master
master
12m 5s
vastly improved readability of generated expressions for subtypes by … (Pre)-Release #7: Commit 26eba5c pushed by tychodub
12m 5s master
master
12m 5s
vastly improved readability of generated expressions for subtypes by … Run ScalaTest #7: Commit 26eba5c pushed by tychodub
14s master
master
14s
fixed built-in fields and methods not being recognised on subtyped types (Pre)-Release #6: Commit 3b3c800 pushed by tychodub
12m 20s master
master
12m 20s
fixed built-in fields and methods not being recognised on subtyped types Run ScalaTest #6: Commit 3b3c800 pushed by tychodub
13s master
master
13s
updated SubtypeNestedRewrite for new subtype algebra structure Run ScalaTest #5: Commit 867ca29 pushed by tychodub
16s master
master
16s
updated SubtypeNestedRewrite for new subtype algebra structure (Pre)-Release #5: Commit 867ca29 pushed by tychodub
11m 53s master
master
11m 53s