Skip to content

Actions: prusti/pcg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,064 workflow runs
1,064 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 (#160) Fly Deploy #48: Commit 6622370 pushed by zgrannan
2m 20s main
main
2m 20s
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) Fly Deploy #47: Commit 7e4f9d0 pushed by zgrannan
2m 9s main
main
2m 9s
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
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) Fly Deploy #46: Commit 30e2ee8 pushed by zgrannan
2m 53s main
main
2m 53s
Switch from specta to ts-rs (#158) Deploy Visualization to GitHub Pages #53: Commit 30e2ee8 pushed by zgrannan
2m 18s main
main
2m 18s
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) Fly Deploy #45: Commit 89720ee pushed by zgrannan
3m 42s main
main
3m 42s
Generate Test Coverages stats during CI (#157) Deploy Visualization to GitHub Pages #52: Commit 89720ee pushed by zgrannan
4m 19s main
main
4m 19s
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) Deploy Visualization to GitHub Pages #51: Commit 511cfaa pushed by zgrannan
2m 17s main
main
2m 17s
Support generalized lifetime projections (#156) Fly Deploy #44: Commit 511cfaa pushed by zgrannan
2m 22s main
main
2m 22s
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 (… Deploy Visualization to GitHub Pages #50: Commit 3fc367e pushed by zgrannan
2m 9s main
main
2m 9s
Remove OverrideRegionDebugString trait, use DisplayWithCtxt instead (… Fly Deploy #43: Commit 3fc367e pushed by zgrannan
2m 9s main
main
2m 9s
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) Fly Deploy #42: Commit 86938b0 pushed by zgrannan
2m 13s main
main
2m 13s