Skip to content

Actions: Haofei/rsscript

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

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
Index resource escapes from HIR CI #54: Commit 1e88f7d pushed by Haofei
7h 28m 32s main
main
7h 28m 32s
Index managed closure captures from HIR CI #53: Commit a62c957 pushed by Haofei
7h 29m 21s main
main
7h 29m 21s
Use flow entry state for handle checks CI #52: Commit 53752f2 pushed by Haofei
7h 29m 51s main
main
7h 29m 51s
Track scoped resources in local flow state CI #51: Commit fb6b52f pushed by Haofei
7h 31m 6s main
main
7h 31m 6s
Use flow entry state for fresh returns CI #50: Commit 646d122 pushed by Haofei
7h 34m 57s main
main
7h 34m 57s
Propagate local ownership through flow graph CI #49: Commit be4af97 pushed by Haofei
7h 36m 29s main
main
7h 36m 29s
Model loop control in local flow graph CI #48: Commit d9770aa pushed by Haofei
7h 38m 47s main
main
7h 38m 47s
Add successor edges to local flow steps CI #47: Commit 84d341c pushed by Haofei
7h 39m 26s main
main
7h 39m 26s
Introduce local flow steps from HIR CI #46: Commit 7ba720e pushed by Haofei
7h 41m 2s main
main
7h 41m 2s
Use HIR statement uses for move checks CI #45: Commit cab3e34 pushed by Haofei
7h 42m 22s main
main
7h 42m 22s
Use HIR closure uses for capture checks CI #44: Commit 7d5717a pushed by Haofei
7h 38m 59s main
main
7h 38m 59s
Use local HIR return proofs for freshness checks CI #43: Commit d8c52d3 pushed by Haofei
7h 7m 32s main
main
7h 7m 32s
Resolve handle field checks through local HIR analysis CI #42: Commit 833ae67 pushed by Haofei
7h 2m 23s main
main
7h 2m 23s
Use HIR local analysis for resource retain escapes CI #41: Commit 5e18788 pushed by Haofei
7h 4m 45s main
main
7h 4m 45s
Drive local effects from resolved HIR CI #40: Commit acc4217 pushed by Haofei
7h 6m 30s main
main
7h 6m 30s
Lower function bodies into resolved HIR CI #39: Commit 841b77a pushed by Haofei
7h 8m 57s main
main
7h 8m 57s
Introduce local analysis context CI #38: Commit 05fb0ba pushed by Haofei
7h 11m 40s main
main
7h 11m 40s
Hide clean state internals behind queries CI #37: Commit 2cd9076 pushed by Haofei
7h 15m 5s main
main
7h 15m 5s
Apply HIR local events in clean state CI #36: Commit a7d91c3 pushed by Haofei
7h 15m 33s main
main
7h 15m 33s
Extract clean local state machine CI #35: Commit f5a1f50 pushed by Haofei
7h 16m 27s main
main
7h 16m 27s
Group body facts by function in HIR CI #34: Commit 021145f pushed by Haofei
7h 15m 19s main
main
7h 15m 19s
Record return facts in HIR CI #33: Commit 96c4a96 pushed by Haofei
7h 17m 15s main
main
7h 17m 15s
Record ownership effect events in HIR CI #32: Commit 9862190 pushed by Haofei
7h 17m 36s main
main
7h 17m 36s
Record field access facts in HIR CI #31: Commit 3b40058 pushed by Haofei
7h 19m 25s main
main
7h 19m 25s
Record body binding facts in HIR CI #30: Commit 60cc27e pushed by Haofei
7h 20m 2s main
main
7h 20m 2s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.