Skip to content

Actions: prusti/pcg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
835 workflow runs
835 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Downgrade expansion to read instead of collapsing Run Tests #1075: Commit 1031644 pushed by zgrannan
8m 2s main
main
8m 2s
Downgrade expansion to read instead of collapsing Deploy Visualization to GitHub Pages #82: Commit 1031644 pushed by zgrannan
2m 10s main
main
2m 10s
Downgrade expansion to read instead of collapsing Fly Deploy #75: Commit 1031644 pushed by zgrannan
1m 48s main
main
1m 48s
Downgrade expansion to read instead of collapsing Run Tests #1074: Pull request #179 opened by zgrannan
7m 51s leave-unpacked-for-read-borrow
leave-unpacked-for-read-borrow
7m 51s
Drop redundant_enum_variant allows now that the lint sees for loops Run Tests #1073: Commit 97aef4e pushed by zgrannan
8m 16s main
main
8m 16s
Drop redundant_enum_variant allows now that the lint sees for loops Deploy Visualization to GitHub Pages #81: Commit 97aef4e pushed by zgrannan
2m 17s main
main
2m 17s
Drop redundant_enum_variant allows now that the lint sees for loops Fly Deploy #74: Commit 97aef4e pushed by zgrannan
1m 53s main
main
1m 53s
Drop redundant_enum_variant allows now that the lint sees for loops Run Tests #1072: Pull request #178 opened by zgrannan
7m 11s drop-redundant-enum-variant-allows
drop-redundant-enum-variant-allows
7m 11s
Make pcg loop aware, add support for lazy unpacking Deploy Visualization to GitHub Pages #80: Commit 5533abc pushed by zgrannan
2m 24s main
main
2m 24s
Make pcg loop aware, add support for lazy unpacking Run Tests #1071: Commit 5533abc pushed by zgrannan
8m 27s main
main
8m 27s
Make pcg loop aware, add support for lazy unpacking Fly Deploy #73: Commit 5533abc pushed by zgrannan
2m 15s main
main
2m 15s
Make pcg loop aware Run Tests #1070: Pull request #177 opened by zgrannan
6m 48s make-pcg-loop-aware
make-pcg-loop-aware
6m 48s
Join validity conditions as a disjunction over branch choices Fly Deploy #72: Commit 5aaf19e pushed by zgrannan
2m 15s main
main
2m 15s
Join validity conditions as a disjunction over branch choices Deploy Visualization to GitHub Pages #79: Commit 5aaf19e pushed by zgrannan
2m 14s main
main
2m 14s
Join validity conditions as a disjunction over branch choices Run Tests #1069: Commit 5aaf19e pushed by zgrannan
8m 16s main
main
8m 16s
Update rust-toolchain to 2026-08-15 Run Tests #1068: Commit 8632c1a pushed by zgrannan
8m 35s main
main
8m 35s
Update rust-toolchain to 2026-08-15 Deploy Visualization to GitHub Pages #78: Commit 8632c1a pushed by zgrannan
2m 13s main
main
2m 13s
Update rust-toolchain to 2026-08-15 Fly Deploy #71: Commit 8632c1a pushed by zgrannan
2m 56s main
main
2m 56s
Bump toolchain 2026 08 15 Run Tests #1067: Pull request #176 opened by zgrannan
7m 17s bump-toolchain-2026-08-15
bump-toolchain-2026-08-15
7m 17s
Track lent-through references as ShallowExclusive and announce all value drops Run Tests #1066: Pull request #175 synchronize by JonasAlaif
9m 28s shallow-exclusive-refs
shallow-exclusive-refs
9m 28s
Track lent-through references as ShallowExclusive and announce all value drops Run Tests #1065: Pull request #175 synchronize by JonasAlaif
9m 34s shallow-exclusive-refs
shallow-exclusive-refs
9m 34s
Track lent-through references as ShallowExclusive and announce all value drops Run Tests #1064: Pull request #175 opened by JonasAlaif
9m 26s shallow-exclusive-refs
shallow-exclusive-refs
9m 26s
Check closure bodies in tests Fly Deploy #70: Commit ef820ea pushed by zgrannan
3m 2s main
main
3m 2s
Check closure bodies in tests Run Tests #1063: Commit ef820ea pushed by zgrannan
9m 52s main
main
9m 52s
Check closure bodies in tests Deploy Visualization to GitHub Pages #77: Commit ef820ea pushed by zgrannan
4m 30s main
main
4m 30s