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
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
StorageDead requires W capability (#126) Deploy Visualization to GitHub Pages #36: Commit d897ee5 pushed by zgrannan
2m 22s main
main
2m 22s
Fix coupling (#123) Deploy Visualization to GitHub Pages #35: Commit 07d9329 pushed by zgrannan
2m 16s main
main
2m 16s
Make PCG generic in Place (#122) Deploy Visualization to GitHub Pages #34: Commit 616d96f pushed by zgrannan
2m 1s main
main
2m 1s
try to fix CI (#121) Deploy Visualization to GitHub Pages #33: Commit 9fadad9 pushed by zgrannan
1m 55s main
main
1m 55s
[WIP] Fix bug re: nested references (#119) Deploy Visualization to GitHub Pages #32: Commit 90eeb56 pushed by zgrannan
1m 18s main
main
1m 18s
expose castkind on assignment info (#120) Deploy Visualization to GitHub Pages #31: Commit 6cea8cd pushed by zgrannan
1m 52s main
main
1m 52s
Refactor borrow flow edge repr and add more metadata (#117) Deploy Visualization to GitHub Pages #30: Commit 2c5a7fc pushed by zgrannan
2m 6s main
main
2m 6s
More fixes (#116) Deploy Visualization to GitHub Pages #29: Commit 019a6fa pushed by zgrannan
1m 59s main
main
1m 59s
Update PCG (#115) Deploy Visualization to GitHub Pages #28: Commit 925bfab pushed by zgrannan
1m 57s main
main
1m 57s
Add expansion repack guide (#114) Deploy Visualization to GitHub Pages #27: Commit 369a558 pushed by zgrannan
1m 54s main
main
1m 54s
Fix frontend bug (#113) Deploy Visualization to GitHub Pages #26: Commit 41b0079 pushed by zgrannan
2m 19s main
main
2m 19s
More small refactors (#112) Deploy Visualization to GitHub Pages #25: Commit 501c9fa pushed by zgrannan
2m 3s main
main
2m 3s
Some code to also visualize validity conditions (#111) Deploy Visualization to GitHub Pages #24: Commit 3750191 pushed by zgrannan
1m 49s main
main
1m 49s
multi-layer loop (#110) Deploy Visualization to GitHub Pages #23: Commit 4304d52 pushed by zgrannan
1m 52s main
main
1m 52s
Add polonius option (#109) Deploy Visualization to GitHub Pages #22: Commit 07a10ec pushed by zgrannan
2m 16s main
main
2m 16s
WIP (#108) Deploy Visualization to GitHub Pages #21: Commit 7a6228d pushed by zgrannan
1m 47s main
main
1m 47s