Skip to content

Actions: OpenHCSDev/NominalRefactorAdvisor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,213 workflow runs
1,213 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Combined Coverage Report
Combined Coverage Report #18: completed by trissim
17s
Combined Coverage Report
Combined Coverage Report #17: completed by trissim
22s
Detect residual structural derivations
Integration Tests #17: Commit 157991d pushed by trissim
2m 15s main
Combined Coverage Report
Combined Coverage Report #16: completed by trissim
36s
Combined Coverage Report
Combined Coverage Report #15: completed by trissim
25s
Detect derived declaration families
Integration Tests #15: Commit 1ad5d49 pushed by trissim
1m 2s main
Combined Coverage Report
Combined Coverage Report #14: completed by trissim
22s
Detect class role quotients
Integration Tests #14: Commit 13fd7b4 pushed by trissim
2m 43s main
Combined Coverage Report
Combined Coverage Report #13: completed by trissim
25s
Add algebraic duplicate block detector
Integration Tests #13: Commit 587666b pushed by trissim
1m 0s main
Combined Coverage Report
Combined Coverage Report #12: completed by trissim
22s
Detect repeated local regex syntax
Integration Tests #12: Commit 376d0ae pushed by trissim
1m 4s main
Combined Coverage Report
Combined Coverage Report #11: completed by trissim
27s
Add generic paper-builder detectors
Integration Tests #11: Commit c8977aa pushed by trissim
1m 1s main
Combined Coverage Report
Combined Coverage Report #10: completed by trissim
16s
Combined Coverage Report
Combined Coverage Report #9: completed by trissim
14s
Flag typing Protocol contracts
Integration Tests #9: Commit 6985de0 pushed by trissim
58s main
Combined Coverage Report
Combined Coverage Report #8: completed by trissim
22s
Combined Coverage Report
Combined Coverage Report #7: completed by trissim
20s
Detect sibling role helper symmetry
Integration Tests #7: Commit 216da83 pushed by trissim
1m 26s main
ProTip! You can narrow down the results and go further in time using created:<2026-04-26 or the other filters available.