Skip to content

Actions: Certora/cvlr-solana

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rt - global account loader Rust Code Quality Check #30: Pull request #19 synchronize by pickx
12s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
12s
rt - global account loader Rust Code Quality Check #29: Pull request #19 synchronize by pickx
39s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
39s
rt - global account loader Rust Code Quality Check #28: Pull request #19 synchronize by pickx
43s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
43s
rt - global account loader Rust Code Quality Check #27: Pull request #19 synchronize by pickx
46s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
46s
rt - global account loader Rust Code Quality Check #26: Pull request #19 opened by pickx
38s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
38s
cvlr_new_account_info for rt Rust Code Quality Check #25: Pull request #18 synchronize by pickx
36s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
36s
cvlr_new_account_info for rt Rust Code Quality Check #24: Pull request #18 synchronize by pickx
31s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
31s
cvlr_new_account_info for rt Rust Code Quality Check #23: Pull request #18 synchronize by pickx
40s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
40s
cvlr_new_account_info for rt Rust Code Quality Check #22: Pull request #18 synchronize by pickx
38s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
38s
cvlr_new_account_info for rt Rust Code Quality Check #21: Pull request #18 synchronize by pickx
56s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
56s
cvlr_new_account_info for rt Rust Code Quality Check #20: Pull request #18 synchronize by pickx
12s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
12s
cvlr_new_account_info for rt Rust Code Quality Check #19: Pull request #18 synchronize by pickx
13s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
13s
cvlr_new_account_info for rt Rust Code Quality Check #18: Pull request #18 synchronize by pickx
42s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
42s
cvlr_new_account_info for rt Rust Code Quality Check #17: Pull request #18 opened by pickx
11s pickx:ybd/rt-semantics
pickx:ybd/rt-semantics
11s
Models for Token and Stake Rust Code Quality Check #16: Pull request #17 opened by 1arie1
34s ag/new-features
ag/new-features
34s
Adopting lifetimes to 'a instead of 'static for account creation Rust Code Quality Check #15: Pull request #16 opened by johspaeth
56s johspaeth:v.04-fix-lifetimes
johspaeth:v.04-fix-lifetimes
56s
fix: wrong assumption in spl_burn summary Rust Code Quality Check #14: Pull request #11 opened by caballa
51s caballa:main
caballa:main
51s
feat: instantiation of cpis module Rust Code Quality Check #13: Pull request #8 synchronize by phreppo
1m 1s phreppo:cpis
phreppo:cpis
1m 1s
feat: instantiation of cpis module Rust Code Quality Check #12: Pull request #8 synchronize by phreppo
1m 2s phreppo:cpis
phreppo:cpis
1m 2s
feat: instantiation of cpis module Rust Code Quality Check #11: Pull request #8 opened by phreppo
54s phreppo:cpis
phreppo:cpis
54s
feat: assume that lamports are in range Rust Code Quality Check #10: Pull request #7 opened by 1arie1
52s arie/new_account_info_bounds
arie/new_account_info_bounds
52s
fix: no-entrypoint for dependencies Rust Code Quality Check #9: Pull request #6 opened by 1arie1
52s arie/no-entrypoint
arie/no-entrypoint
52s
chore: allow for wider range of spl-token versions Rust Code Quality Check #8: Pull request #5 opened by 1arie1
1m 5s token-versions
token-versions
1m 5s
feat: Wrapper for Pubkey Rust Code Quality Check #7: Pull request #4 synchronize by 1arie1
48s pk
pk
48s
feat: Wrapper for Pubkey Rust Code Quality Check #6: Pull request #4 synchronize by 1arie1
50s pk
pk
50s