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
61 workflow runs
61 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
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
Fix two-phase borrow activation logic (#136) Deploy Visualization to GitHub Pages #42: Commit 107f74e pushed by zgrannan
2m 10s main
main
2m 10s
Update Rust toolchain (#133) Deploy Visualization to GitHub Pages #41: Commit ae6f2eb pushed by zgrannan
2m 42s main
main
2m 42s
Stricter clippy settings (#130) Deploy Visualization to GitHub Pages #40: Commit aa0d733 pushed by zgrannan
1m 52s main
main
1m 52s
Make some clippy checks stricter (#129) Deploy Visualization to GitHub Pages #39: Commit da7dcea pushed by zgrannan
3m 54s main
main
3m 54s
fix some security issues from dependabot (#128) Deploy Visualization to GitHub Pages #38: Commit b1a3340 pushed by zgrannan
2m 8s main
main
2m 8s
Fix some small visualization issues and update README (#127) Deploy Visualization to GitHub Pages #37: Commit 5e48881 pushed by zgrannan
1m 59s main
main
1m 59s