Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
590 workflow runs
590 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
New Pure Function Encoding Test #707: Pull request #163 synchronize by jaspergeer
17m 0s jaspergeer:pure-fns
jaspergeer:pure-fns
17m 0s
Concrete trait impl checks Test #706: Pull request #137 synchronize by JonasAlaif
Action required Trzyq0712:trait_impls
Trzyq0712:trait_impls
Action required
Concrete trait impl checks Test #705: Pull request #137 synchronize by JonasAlaif
18m 38s Trzyq0712:trait_impls
Trzyq0712:trait_impls
18m 38s
Consider lifetime projections in loop invariants (#165) Test #704: Commit 5cd3f71 pushed by Aurel300
18m 15s rewrite-2023
rewrite-2023
18m 15s
Consider lifetime projections in loop invariants Test #703: Pull request #165 synchronize by ThomasMayerl
18m 49s ThomasMayerl:lifetime_projs_loop
ThomasMayerl:lifetime_projs_loop
18m 49s
Consider lifetime projections in loop invariants Test #702: Pull request #165 synchronize by ThomasMayerl
18m 59s ThomasMayerl:lifetime_projs_loop
ThomasMayerl:lifetime_projs_loop
18m 59s
Consider lifetime projections in loop invariants Test #701: Pull request #165 opened by ThomasMayerl
2m 5s ThomasMayerl:lifetime_projs_loop
ThomasMayerl:lifetime_projs_loop
2m 5s
Update dependencies Update dependencies #41: Scheduled
5m 55s rewrite-2023
rewrite-2023
5m 55s
slightly cleaner VIR output Test #700: Commit 8d9c868 pushed by Aurel300
19m 7s rewrite-2023
rewrite-2023
19m 7s
PCG type alias support, some changes to indirect encoder (#164) Test #699: Commit bd3a77a pushed by Aurel300
19m 24s rewrite-2023
rewrite-2023
19m 24s
PCG type alias support, some changes to indirect encoder Test #698: Pull request #164 synchronize by Aurel300
18m 2s zgrannan:zgrannan/resolve-alias
zgrannan:zgrannan/resolve-alias
18m 2s
Unsafe: Raw pointers Test #697: Pull request #148 synchronize by ThomasMayerl
19m 11s ThomasMayerl:raw_ptr
ThomasMayerl:raw_ptr
19m 11s
New Pure Function Encoding Test #696: Pull request #163 synchronize by jaspergeer
17m 38s jaspergeer:pure-fns
jaspergeer:pure-fns
17m 38s
New Pure Function Encoding Test #695: Pull request #163 synchronize by jaspergeer
18m 35s jaspergeer:pure-fns
jaspergeer:pure-fns
18m 35s
Unsafe: Raw pointers Test #694: Pull request #148 synchronize by ThomasMayerl
20m 1s ThomasMayerl:raw_ptr
ThomasMayerl:raw_ptr
20m 1s
New Pure Function Encoding Test #693: Pull request #163 synchronize by jaspergeer
17m 14s jaspergeer:pure-fns
jaspergeer:pure-fns
17m 14s
New Pure Function Encoding Test #692: Pull request #163 synchronize by jaspergeer
15m 39s jaspergeer:pure-fns
jaspergeer:pure-fns
15m 39s
New Pure Function Encoding Test #691: Pull request #163 synchronize by jaspergeer
17m 9s jaspergeer:pure-fns
jaspergeer:pure-fns
17m 9s
New Pure Function Encoding Test #690: Pull request #163 synchronize by jaspergeer
18m 55s jaspergeer:pure-fns
jaspergeer:pure-fns
18m 55s
Improve unsize error handling Test #689: Pull request #161 synchronize by rgwohlbold
17m 49s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
17m 49s
Improve unsize error handling Test #688: Pull request #161 synchronize by rgwohlbold
4m 21s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
4m 21s
Improve unsize error handling Test #687: Pull request #161 synchronize by rgwohlbold
18m 44s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
18m 44s
Improve unsize error handling Test #686: Pull request #161 synchronize by rgwohlbold
19m 7s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
19m 7s
Improve unsize error handling Test #685: Pull request #161 synchronize by rgwohlbold
58s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
58s
Improve unsize error handling Test #684: Pull request #161 synchronize by rgwohlbold
18m 35s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
18m 35s