All Workflows build_and_test.yml

Actor

All actors dholle i21023 pl RubenKraft stan

Status

All status success failure waiting running

refactor: enhanced Constraint-Genereation

build_and_test.yml #129:Commit 929392b7d4 pushed by RubenKraft

patternMatching

2024-09-18 12:12:50 +00:00

5m42s

feat: adding Covariance for Switch

build_and_test.yml #127:Commit daa38183fa pushed by RubenKraft

patternMatching

2024-09-18 11:59:05 +00:00

4m37s

refactor + test: removed comments and fixed Test-Assertion

build_and_test.yml #123:Commit 114de0b236 pushed by RubenKraft

patternMatching

2024-09-04 09:08:23 +00:00

4m56s

test: add Test for Switch-Case with generic Records.

build_and_test.yml #121:Commit 3ac3af2327 pushed by RubenKraft

patternMatching

2024-09-02 17:23:09 +00:00

6m55s

test & feat: recursive Method-Call for nested Constraint-Generation Patterns in Records and added Linked-List Testcase.

build_and_test.yml #119:Commit 94c359f7a1 pushed by RubenKraft

patternMatching

2024-08-20 17:59:21 +00:00

6m8s

test & fix: add Testcase for Heritage-detection and removed unnecessary creation of Constraints.

build_and_test.yml #110:Commit 96eb504174 pushed by RubenKraft

patternMatching

2024-08-06 16:50:51 +00:00

5m43s