Skip to content

Actions: prusti/pcg

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
878 workflow runs
878 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 Run Tests #1022: Commit 644d605 pushed by zgrannan
9m 21s main
main
9m 21s
Remove redundant clone in FunctionData display Run Tests #1021: Commit 4133fbe pushed by zgrannan
9m 21s main
main
9m 21s
Initial support for "InitialisationState", fix soundness bug Run Tests #1020: Commit 7cf6a75 pushed by zgrannan
9m 36s main
main
9m 36s
Start computed capabilities Run Tests #1019: Commit 2fbdc50 pushed by zgrannan
9m 13s main
main
9m 13s
Fix detection of used places in loop (#163) Run Tests #1018: Commit f35493f pushed by zgrannan
18m 49s main
main
18m 49s
Fix detection of used places in loop Run Tests #1017: Pull request #163 opened by ThomasMayerl
18m 41s ThomasMayerl:fix_loop_invs
ThomasMayerl:fix_loop_invs
18m 41s
Add loop shape debug data visualization Run Tests #1016: Commit bca51c9 pushed by zgrannan
18m 15s main
main
18m 15s
Remove mutation tests from CI Run Tests #1015: Commit 16cdad2 pushed by zgrannan
20m 48s main
main
20m 48s
Update test annotations for loop Run Tests #1014: Pull request #161 opened by zgrannan
25m 6s zgrannan/fix-test
zgrannan/fix-test
25m 6s
Introduce types for places known to be owned/borrowed (#160) Run Tests #1013: Commit 6622370 pushed by zgrannan
19m 38s main
main
19m 38s
Introduce types for places known to be owned/borrowed Run Tests #1012: Pull request #160 opened by zgrannan
21m 50s zgrannan/owned-and-borrowed-places
zgrannan/owned-and-borrowed-places
21m 50s
Add caching to CI, re-run some checks only conditionally (#159) Run Tests #1011: Commit 7e4f9d0 pushed by zgrannan
21m 58s main
main
21m 58s
Add caching to CI, re-run some checks only conditionally Run Tests #1010: Pull request #159 opened by zgrannan
9m 39s zgrannan/faster-ci
zgrannan/faster-ci
9m 39s
Switch from specta to ts-rs (#158) Run Tests #1009: Commit 30e2ee8 pushed by zgrannan
21m 46s main
main
21m 46s
Switch from specta to ts-rs Run Tests #1008: Pull request #158 opened by zgrannan
20m 44s zgrannan/ts-rs
zgrannan/ts-rs
20m 44s
Generate Test Coverages stats during CI (#157) Run Tests #1007: Commit 89720ee pushed by zgrannan
20m 57s main
main
20m 57s
Support generalized lifetime projections (#156) Run Tests #1006: Commit 511cfaa pushed by zgrannan
21m 4s main
main
21m 4s
Generate Test Coverages stats during CI Run Tests #1005: Pull request #157 opened by zgrannan
21m 22s zgrannan/coverage
zgrannan/coverage
21m 22s
Support generalized lifetime projections Run Tests #1004: Pull request #156 opened by zgrannan
21m 42s zgrannan/generalized-lifetime-projections
zgrannan/generalized-lifetime-projections
21m 42s
Remove OverrideRegionDebugString trait, use DisplayWithCtxt instead (… Run Tests #1003: Commit 3fc367e pushed by zgrannan
21m 21s main
main
21m 21s
Remove OverrideRegionDebugString trait, use DisplayWithCtxt instead Run Tests #1002: Pull request #155 opened by zgrannan
22m 5s zgrannan/refactor-override-region-debug-string
zgrannan/refactor-override-region-debug-string
22m 5s
Remove Symbolic Capabilities (#154) Run Tests #1001: Commit 86938b0 pushed by zgrannan
21m 30s main
main
21m 30s
Remove Symbolic Capabilities Run Tests #1000: Pull request #154 opened by zgrannan
21m 28s zgrannan/remove-symbolic-capabilities
zgrannan/remove-symbolic-capabilities
21m 28s
Update some JS packages to appease npm audit. (#153) Run Tests #999: Commit 22b7bf2 pushed by zgrannan
20m 59s main
main
20m 59s
Update some JS packages to appease npm audit. Run Tests #998: Pull request #153 opened by zgrannan
22m 11s zgrannan/update-js
zgrannan/update-js
22m 11s