Skip to content

Actions: prusti/pcg

Actions

Deploy Visualization to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove redundant clone in FunctionData display
Deploy Visualization to GitHub Pages #61: Commit 4133fbe pushed by zgrannan
2m 25s main
Initial support for "InitialisationState", fix soundness bug
Deploy Visualization to GitHub Pages #60: Commit 7cf6a75 pushed by zgrannan
2m 14s main
Start computed capabilities
Deploy Visualization to GitHub Pages #59: Commit 2fbdc50 pushed by zgrannan
2m 16s main
Fix detection of used places in loop (#163)
Deploy Visualization to GitHub Pages #58: Commit f35493f pushed by zgrannan
2m 21s main
Add loop shape debug data visualization
Deploy Visualization to GitHub Pages #57: Commit bca51c9 pushed by zgrannan
2m 16s main
Remove mutation tests from CI
Deploy Visualization to GitHub Pages #56: Commit 16cdad2 pushed by zgrannan
2m 31s main
Introduce types for places known to be owned/borrowed (#160)
Deploy Visualization to GitHub Pages #55: Commit 6622370 pushed by zgrannan
2m 23s main
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
Switch from specta to ts-rs (#158)
Deploy Visualization to GitHub Pages #53: Commit 30e2ee8 pushed by zgrannan
2m 18s main
Generate Test Coverages stats during CI (#157)
Deploy Visualization to GitHub Pages #52: Commit 89720ee pushed by zgrannan
4m 19s main
Support generalized lifetime projections (#156)
Deploy Visualization to GitHub Pages #51: Commit 511cfaa pushed by zgrannan
2m 17s main
Remove Symbolic Capabilities (#154)
Deploy Visualization to GitHub Pages #49: Commit 86938b0 pushed by zgrannan
2m 19s main
Update some JS packages to appease npm audit. (#153)
Deploy Visualization to GitHub Pages #48: Commit 22b7bf2 pushed by zgrannan
2m 20s main
Update loop interface (#152)
Deploy Visualization to GitHub Pages #47: Commit e51d8e0 pushed by zgrannan
2m 12s main
Better support for most usages of alias types
Deploy Visualization to GitHub Pages #46: Commit b018ac5 pushed by zgrannan
2m 36s main
Include loop results in visualization (#146)
Deploy Visualization to GitHub Pages #45: Commit d8054f1 pushed by zgrannan
2m 13s main
Also show function signature in visualization (#145)
Deploy Visualization to GitHub Pages #44: Commit f0a33ca pushed by zgrannan
2m 42s main
Add metadata to weaken op (#143)
Deploy Visualization to GitHub Pages #43: Commit 445db9a pushed by zgrannan
2m 28s main
Fix two-phase borrow activation logic (#136)
Deploy Visualization to GitHub Pages #42: Commit 107f74e pushed by zgrannan
2m 10s main
Update Rust toolchain (#133)
Deploy Visualization to GitHub Pages #41: Commit ae6f2eb pushed by zgrannan
2m 42s main
Stricter clippy settings (#130)
Deploy Visualization to GitHub Pages #40: Commit aa0d733 pushed by zgrannan
1m 52s main
Make some clippy checks stricter (#129)
Deploy Visualization to GitHub Pages #39: Commit da7dcea pushed by zgrannan
3m 54s main
fix some security issues from dependabot (#128)
Deploy Visualization to GitHub Pages #38: Commit b1a3340 pushed by zgrannan
2m 8s main
Fix some small visualization issues and update README (#127)
Deploy Visualization to GitHub Pages #37: Commit 5e48881 pushed by zgrannan
1m 59s main