Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
619 workflow runs
619 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
Fix missing caller substitution in apply_wands Test #759: Pull request #176 opened by rgwohlbold
17m 47s rgwohlbold:fix-missing-substitution-in-apply-wands
rgwohlbold:fix-missing-substitution-in-apply-wands
17m 47s
Update dependencies Update dependencies #43: Scheduled
6m 8s rewrite-2023
rewrite-2023
6m 8s
Spec blocks Test #758: Pull request #175 synchronize by Aurel300
14m 38s feature/spec-blocks
feature/spec-blocks
14m 38s
ReVars from outer InferCtxt crash try_normalize Test #757: Pull request #169 synchronize by rgwohlbold
18m 32s rgwohlbold:fix-revar-from-outer-inferctxt-in-try-normalize
rgwohlbold:fix-revar-from-outer-inferctxt-in-try-normalize
18m 32s
Unsizing for trait objects (#150) Test #756: Commit 0ffb801 pushed by Aurel300
19m 12s rewrite-2023
rewrite-2023
19m 12s
Unsizing for trait objects Test #755: Pull request #150 synchronize by rgwohlbold
19m 15s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
19m 15s
Unsizing for trait objects Test #754: Pull request #150 synchronize by rgwohlbold
22m 35s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
22m 35s
Unsizing for trait objects Test #753: Pull request #150 synchronize by rgwohlbold
9m 15s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
9m 15s
Unsizing for trait objects Test #752: Pull request #150 synchronize by rgwohlbold
3m 55s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
3m 55s
Unsizing for trait objects Test #751: Pull request #150 synchronize by rgwohlbold
3m 31s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
3m 31s
Unsizing for trait objects Test #750: Pull request #150 synchronize by rgwohlbold
3m 10s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
3m 10s
Unsizing for trait objects Test #749: Pull request #150 synchronize by rgwohlbold
18m 55s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
18m 55s
Unsizing for trait objects Test #748: Pull request #150 synchronize by rgwohlbold
40s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
40s
Unsizing for trait objects Test #747: Pull request #150 synchronize by rgwohlbold
13m 8s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
13m 8s
Unsizing for trait objects Test #746: Pull request #150 synchronize by rgwohlbold
19m 49s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
19m 49s
Unsizing for trait objects Test #745: Pull request #150 synchronize by rgwohlbold
1m 6s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
1m 6s
Update to latest version of PCG (#174) Test #744: Commit 9391605 pushed by Aurel300
18m 36s rewrite-2023
rewrite-2023
18m 36s
Update to latest version of PCG Test #743: Pull request #174 opened by zgrannan
19m 26s viperproject:zgrannan/update-pcg
viperproject:zgrannan/update-pcg
19m 26s
Unsizing for trait objects Test #742: Pull request #150 synchronize by rgwohlbold
18m 41s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
18m 41s
New Pure Function Encoding Test #741: Pull request #163 synchronize by jaspergeer
18m 3s jaspergeer:pure-fns
jaspergeer:pure-fns
18m 3s
Unsizing for trait objects Test #740: Pull request #150 synchronize by rgwohlbold
18m 42s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
18m 42s
Slice fixes (#172) Test #739: Commit 29fff11 pushed by Aurel300
18m 28s rewrite-2023
rewrite-2023
18m 28s
Slice fixes Test #738: Pull request #172 synchronize by Aurel300
20m 25s fix/slices
fix/slices
20m 25s
Slice fixes Test #737: Pull request #172 synchronize by Aurel300
2m 58s fix/slices
fix/slices
2m 58s
Unsizing for trait objects Test #736: Pull request #150 synchronize by rgwohlbold
18m 48s rgwohlbold:unsizing-for-trait-objects
rgwohlbold:unsizing-for-trait-objects
18m 48s