Skip to content

Actions: prusti/pcg

Actions

Fly Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
fly.yml
55 workflow runs
55 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
Avoid intermediate Vec collection in edges_blocking flat_map Fly Deploy #55: Commit 644d605 pushed by zgrannan
3m 41s main
main
3m 41s
Remove redundant clone in FunctionData display Fly Deploy #54: Commit 4133fbe pushed by zgrannan
2m 51s main
main
2m 51s
Initial support for "InitialisationState", fix soundness bug Fly Deploy #53: Commit 7cf6a75 pushed by zgrannan
2m 22s main
main
2m 22s
Start computed capabilities Fly Deploy #52: Commit 2fbdc50 pushed by zgrannan
2m 32s main
main
2m 32s
Fix detection of used places in loop (#163) Fly Deploy #51: Commit f35493f pushed by zgrannan
2m 45s main
main
2m 45s
Add loop shape debug data visualization Fly Deploy #50: Commit bca51c9 pushed by zgrannan
3m 4s main
main
3m 4s
Remove mutation tests from CI Fly Deploy #49: Commit 16cdad2 pushed by zgrannan
3m 42s main
main
3m 42s
Introduce types for places known to be owned/borrowed (#160) Fly Deploy #48: Commit 6622370 pushed by zgrannan
2m 20s main
main
2m 20s
Add caching to CI, re-run some checks only conditionally (#159) Fly Deploy #47: Commit 7e4f9d0 pushed by zgrannan
2m 9s main
main
2m 9s
Switch from specta to ts-rs (#158) Fly Deploy #46: Commit 30e2ee8 pushed by zgrannan
2m 53s main
main
2m 53s
Generate Test Coverages stats during CI (#157) Fly Deploy #45: Commit 89720ee pushed by zgrannan
3m 42s main
main
3m 42s
Support generalized lifetime projections (#156) Fly Deploy #44: Commit 511cfaa pushed by zgrannan
2m 22s main
main
2m 22s
Remove OverrideRegionDebugString trait, use DisplayWithCtxt instead (… Fly Deploy #43: Commit 3fc367e pushed by zgrannan
2m 9s main
main
2m 9s
Remove Symbolic Capabilities (#154) Fly Deploy #42: Commit 86938b0 pushed by zgrannan
2m 13s main
main
2m 13s
Update some JS packages to appease npm audit. (#153) Fly Deploy #41: Commit 22b7bf2 pushed by zgrannan
2m 58s main
main
2m 58s
Update loop interface (#152) Fly Deploy #40: Commit e51d8e0 pushed by zgrannan
2m 32s main
main
2m 32s
Better support for most usages of alias types Fly Deploy #39: Commit b018ac5 pushed by zgrannan
5m 59s main
main
5m 59s
Include loop results in visualization (#146) Fly Deploy #38: Commit d8054f1 pushed by zgrannan
3m 38s main
main
3m 38s
Also show function signature in visualization (#145) Fly Deploy #37: Commit f0a33ca pushed by zgrannan
3m 58s main
main
3m 58s
Add metadata to weaken op (#143) Fly Deploy #36: Commit 445db9a pushed by zgrannan
5m 46s main
main
5m 46s
Fix two-phase borrow activation logic (#136) Fly Deploy #35: Commit 107f74e pushed by zgrannan
2m 21s main
main
2m 21s
Update Rust toolchain (#133) Fly Deploy #34: Commit ae6f2eb pushed by zgrannan
3m 2s main
main
3m 2s
Stricter clippy settings (#130) Fly Deploy #33: Commit aa0d733 pushed by zgrannan
2m 1s main
main
2m 1s
Make some clippy checks stricter (#129) Fly Deploy #32: Commit da7dcea pushed by zgrannan
3m 39s main
main
3m 39s
fix some security issues from dependabot (#128) Fly Deploy #31: Commit b1a3340 pushed by zgrannan
2m 21s main
main
2m 21s