Skip to content

Actions: OpenHCSDev/NominalRefactorAdvisor

Actions

Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integration-tests.yml
1,179 workflow runs
1,179 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Capture callable lookup before argument evaluation Integration Tests #1179: Commit 92079cb pushed by trissim
In progress main
main
In progress
Derive replacement validation and geometry from decorator policy Integration Tests #1178: Commit 33f71fa pushed by trissim
20m 26s main
main
20m 26s
Resolve constructors through shared lexical binding semantics Integration Tests #1177: Commit 0e53046 pushed by trissim
20m 31s main
main
20m 31s
Retain lexical use evidence without callable name inventories Integration Tests #1176: Commit 013af1d pushed by trissim
23m 54s main
main
23m 54s
Dispatch call resolution through nominal target MRO Integration Tests #1175: Commit 6e8b9a5 pushed by trissim
15m 5s main
main
15m 5s
Unify bound-result provenance with lexical binding resolution Integration Tests #1174: Commit ba36274 pushed by trissim
19m 28s main
main
19m 28s
Project owned access paths through existing lexical bindings Integration Tests #1173: Commit 7bbf17f pushed by trissim
14m 2s main
main
14m 2s
Reject destination namespace capture during member promotion Integration Tests #1172: Commit d556d83 pushed by trissim
18m 16s main
main
18m 16s
Keep continuation source indexes behind explicit JSON projection Integration Tests #1171: Commit 9bacb9a pushed by trissim
20m 14s main
main
20m 14s
Bind live analysis roots before relocatable cache projection Integration Tests #1170: Commit b0d69ff pushed by trissim
14m 25s main
main
14m 25s
Generate DSL operation reference from registered declarations Integration Tests #1169: Commit a2deea8 pushed by trissim
20m 41s main
main
20m 41s
Exercise namespace replay with LF and CRLF source Integration Tests #1168: Commit 81a11d9 pushed by trissim
18m 12s main
main
18m 12s
Reuse source C3 projections within fixed proof scenarios Integration Tests #1167: Commit ebee3bd pushed by trissim
20m 7s main
main
20m 7s
Prove member promotion across C3 cohorts and native argument effects Integration Tests #1166: Commit fd52e41 pushed by trissim
20m 28s main
main
20m 28s
Prove collector migration through native C3 and namespace effects Integration Tests #1165: Commit e97017c pushed by trissim
17m 18s main
main
17m 18s
Derive collector attributes from retained declarations Integration Tests #1164: Commit bfb8c53 pushed by trissim
14m 22s main
main
14m 22s
Reuse native source projections by declaration identity Integration Tests #1163: Commit 1931322 pushed by trissim
18m 54s main
main
18m 54s
Prove native collector bases and stabilize lazy metadata traversal Integration Tests #1162: Commit 588e622 pushed by trissim
14m 28s main
main
14m 28s
Prove generated collector descriptors against native declarations Integration Tests #1161: Commit 15fedaa pushed by trissim
14m 38s main
main
14m 38s
Derive collector forwarding and prove class-body capture bindings Integration Tests #1160: Commit 226e13f pushed by trissim
17m 35s main
main
17m 35s
Preserve declaration decorator ownership in DSL edits Integration Tests #1159: Commit e3181ea pushed by trissim
17m 53s main
main
17m 53s
Derive class-family lookup and reachability from declaration records Integration Tests #1158: Commit e9dafe0 pushed by trissim
15m 40s main
main
15m 40s
Add callable-only DSL edits and collapse recipe validation forwarders Integration Tests #1157: Commit b8b7e30 pushed by trissim
14m 48s main
main
14m 48s
Resolve regex observations through declared imports and lexical scopes Integration Tests #1156: Commit e74bd51 pushed by trissim
17m 27s main
main
17m 27s
Separate exact method binding proofs from source-size heuristics Integration Tests #1155: Commit 4d0040c pushed by trissim
15m 33s main
main
15m 33s