Skip to content

Actions: prusti/pcg

Actions

Deploy Visualization to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-visualization.yml
67 workflow runs
67 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
Add support for rawptrs Deploy Visualization to GitHub Pages #67: Commit 22a805f pushed by zgrannan
2m 46s main
main
2m 46s
Remove redundant mir_dataflow:: qualifications Deploy Visualization to GitHub Pages #66: Commit bfe4a2e pushed by zgrannan
2m 25s main
main
2m 25s
Expose region_idx() accessor on LifetimeProjection Deploy Visualization to GitHub Pages #65: Commit b9e5a65 pushed by zgrannan
2m 18s main
main
2m 18s
Re-export GeneralizedLifetime from borrow_pcg Deploy Visualization to GitHub Pages #64: Commit 2eaa711 pushed by zgrannan
2m 27s main
main
2m 27s
Complete region refactor to use ExtractRegionsCtxt Deploy Visualization to GitHub Pages #63: Commit c440970 pushed by zgrannan
2m 44s main
main
2m 44s
Avoid intermediate Vec collection in edges_blocking flat_map Deploy Visualization to GitHub Pages #62: Commit 644d605 pushed by zgrannan
2m 16s main
main
2m 16s
Remove redundant clone in FunctionData display Deploy Visualization to GitHub Pages #61: Commit 4133fbe pushed by zgrannan
2m 25s main
main
2m 25s
Initial support for "InitialisationState", fix soundness bug Deploy Visualization to GitHub Pages #60: Commit 7cf6a75 pushed by zgrannan
2m 14s main
main
2m 14s
Start computed capabilities Deploy Visualization to GitHub Pages #59: Commit 2fbdc50 pushed by zgrannan
2m 16s main
main
2m 16s
Fix detection of used places in loop (#163) Deploy Visualization to GitHub Pages #58: Commit f35493f pushed by zgrannan
2m 21s main
main
2m 21s
Add loop shape debug data visualization Deploy Visualization to GitHub Pages #57: Commit bca51c9 pushed by zgrannan
2m 16s main
main
2m 16s
Remove mutation tests from CI Deploy Visualization to GitHub Pages #56: Commit 16cdad2 pushed by zgrannan
2m 31s main
main
2m 31s
Introduce types for places known to be owned/borrowed (#160) Deploy Visualization to GitHub Pages #55: Commit 6622370 pushed by zgrannan
2m 23s main
main
2m 23s
Add caching to CI, re-run some checks only conditionally (#159) Deploy Visualization to GitHub Pages #54: Commit 7e4f9d0 pushed by zgrannan
2m 9s main
main
2m 9s
Switch from specta to ts-rs (#158) Deploy Visualization to GitHub Pages #53: Commit 30e2ee8 pushed by zgrannan
2m 18s main
main
2m 18s
Generate Test Coverages stats during CI (#157) Deploy Visualization to GitHub Pages #52: Commit 89720ee pushed by zgrannan
4m 19s main
main
4m 19s
Support generalized lifetime projections (#156) Deploy Visualization to GitHub Pages #51: Commit 511cfaa pushed by zgrannan
2m 17s main
main
2m 17s
Remove OverrideRegionDebugString trait, use DisplayWithCtxt instead (… Deploy Visualization to GitHub Pages #50: Commit 3fc367e pushed by zgrannan
2m 9s main
main
2m 9s
Remove Symbolic Capabilities (#154) Deploy Visualization to GitHub Pages #49: Commit 86938b0 pushed by zgrannan
2m 19s main
main
2m 19s
Update some JS packages to appease npm audit. (#153) Deploy Visualization to GitHub Pages #48: Commit 22b7bf2 pushed by zgrannan
2m 20s main
main
2m 20s
Update loop interface (#152) Deploy Visualization to GitHub Pages #47: Commit e51d8e0 pushed by zgrannan
2m 12s main
main
2m 12s
Better support for most usages of alias types Deploy Visualization to GitHub Pages #46: Commit b018ac5 pushed by zgrannan
2m 36s main
main
2m 36s
Include loop results in visualization (#146) Deploy Visualization to GitHub Pages #45: Commit d8054f1 pushed by zgrannan
2m 13s main
main
2m 13s
Also show function signature in visualization (#145) Deploy Visualization to GitHub Pages #44: Commit f0a33ca pushed by zgrannan
2m 42s main
main
2m 42s
Add metadata to weaken op (#143) Deploy Visualization to GitHub Pages #43: Commit 445db9a pushed by zgrannan
2m 28s main
main
2m 28s