Skip to content

Actions: Haofei/rsscript

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
893 workflow runs
893 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
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
Use HIR call resolution in body checks CI #29: Commit 6f3ab55 pushed by Haofei
7h 20m 49s main
main
7h 20m 49s
Resolve call sites in HIR CI #28: Commit b2b0e40 pushed by Haofei
7h 21m 22s main
main
7h 21m 22s
Reject duplicate type fields CI #27: Commit de24730 pushed by Haofei
7h 23m 19s main
main
7h 23m 19s
Reject duplicate top-level symbols CI #26: Commit 8b53bad pushed by Haofei
7h 23m 38s main
main
7h 23m 38s
Derive constructor signatures from types CI #25: Commit 6457f44 pushed by Haofei
7h 25m 13s main
main
7h 25m 13s
Report unresolved callees CI #24: Commit 3995e50 pushed by Haofei
7h 26m 13s main
main
7h 26m 13s
Reject duplicate call arguments CI #23: Commit be7d783 pushed by Haofei
7h 28m 1s main
main
7h 28m 1s
Check call argument names against signatures CI #22: Commit 896baa7 pushed by Haofei
7h 28m 12s main
main
7h 28m 12s
Centralize diagnostic code constants CI #21: Commit 3aa40f4 pushed by Haofei
7h 31m 26s main
main
7h 31m 26s
Migrate signature checks to syntax AST CI #20: Commit 3c34021 pushed by Haofei
7h 34m 9s main
main
7h 34m 9s
Use syntax AST for resource field checks CI #19: Commit 0fd0537 pushed by Haofei
7h 35m 34s main
main
7h 35m 34s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.