Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
606 workflow runs
606 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
Update dependencies Update dependencies #42: Scheduled
5m 43s rewrite-2023
rewrite-2023
5m 43s
Fix mismatched parameter indices in trait impl encoding Test #728: Pull request #171 opened by rgwohlbold
18m 25s rgwohlbold:fix-mismatched-parameter-indices-trait-impl-encoding
rgwohlbold:fix-mismatched-parameter-indices-trait-impl-encoding
18m 25s
Do not panic on failed backtranslation (#170) Test #727: Commit 9945d13 pushed by Aurel300
18m 49s rewrite-2023
rewrite-2023
18m 49s
Do not panic on failed backtranslation Test #726: Pull request #170 opened by rgwohlbold
19m 11s rgwohlbold:do-not-panic-on-failed-backtranslation
rgwohlbold:do-not-panic-on-failed-backtranslation
19m 11s
Unsafe: Raw pointers Test #725: Pull request #148 synchronize by ThomasMayerl
3m 8s ThomasMayerl:raw_ptr
ThomasMayerl:raw_ptr
3m 8s
ReVars from outer InferCtxt crash try_normalize Test #724: Pull request #169 synchronize by rgwohlbold
19m 19s rgwohlbold:fix-revar-from-outer-inferctxt-in-try-normalize
rgwohlbold:fix-revar-from-outer-inferctxt-in-try-normalize
19m 19s
ReVars from outer InferCtxt crash try_normalize Test #723: Pull request #169 opened by rgwohlbold
5m 37s rgwohlbold:fix-revar-from-outer-inferctxt-in-try-normalize
rgwohlbold:fix-revar-from-outer-inferctxt-in-try-normalize
5m 37s
Draft: Integrate doctests pipeline into CI Test #722: Pull request #168 synchronize by rgwohlbold
18m 47s rgwohlbold:ci-doctests
rgwohlbold:ci-doctests
18m 47s
Unsafe: Raw pointers Test #721: Pull request #148 synchronize by ThomasMayerl
3m 5s ThomasMayerl:raw_ptr
ThomasMayerl:raw_ptr
3m 5s
Fix AlreadyEncoded crash for mutually recursive struct types (#167) Test #720: Commit 6e19cc7 pushed by Aurel300
17m 43s rewrite-2023
rewrite-2023
17m 43s
Draft: Integrate doctests pipeline into CI Test #719: Pull request #168 opened by rgwohlbold
17m 53s rgwohlbold:ci-doctests
rgwohlbold:ci-doctests
17m 53s
Fix AlreadyEncoded crash for mutually recursive struct types Test #718: Pull request #167 synchronize by rgwohlbold
19m 3s rgwohlbold:fix-already-encoded-panic
rgwohlbold:fix-already-encoded-panic
19m 3s
Fix AlreadyEncoded crash for mutually recursive struct types Test #717: Pull request #167 synchronize by rgwohlbold
1m 16s rgwohlbold:fix-already-encoded-panic
rgwohlbold:fix-already-encoded-panic
1m 16s
Fix AlreadyEncoded crash for mutually recursive struct types Test #716: Pull request #167 opened by rgwohlbold
2m 7s rgwohlbold:fix-already-encoded-panic
rgwohlbold:fix-already-encoded-panic
2m 7s
Normalize + and ! (#166) Test #715: Commit c69ced0 pushed by Aurel300
18m 17s rewrite-2023
rewrite-2023
18m 17s
Normalize + and ! in identifiers Test #714: Pull request #166 opened by rgwohlbold
19m 15s rgwohlbold:normalize-more-characters
rgwohlbold:normalize-more-characters
19m 15s
Improve unsize error handling (#161) Test #713: Commit 3d9ad6e pushed by Aurel300
18m 4s rewrite-2023
rewrite-2023
18m 4s
Improve unsize error handling Test #712: Pull request #161 synchronize by rgwohlbold
18m 25s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
18m 25s
Improve unsize error handling Test #711: Pull request #161 synchronize by rgwohlbold
17m 35s rgwohlbold:better-unsize-error-handling
rgwohlbold:better-unsize-error-handling
17m 35s
New Pure Function Encoding Test #710: Pull request #163 synchronize by jaspergeer
18m 45s jaspergeer:pure-fns
jaspergeer:pure-fns
18m 45s
New Pure Function Encoding Test #709: Pull request #163 synchronize by jaspergeer
19m 18s jaspergeer:pure-fns
jaspergeer:pure-fns
19m 18s
Concrete trait impl checks Test #708: Pull request #137 synchronize by JonasAlaif
19m 12s Trzyq0712:trait_impls
Trzyq0712:trait_impls
19m 12s
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