Skip to content

Actions: Certora/cvlr-soroban

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add missing nondets Rust Code Quality Check #18: Pull request #15 synchronize by chandrakananandi
54s chandrakananandi:nondets
chandrakananandi:nondets
54s
add missing nondets Rust Code Quality Check #17: Pull request #15 opened by chandrakananandi
13s chandrakananandi:nondets
chandrakananandi:nondets
13s
no op for publish Rust Code Quality Check #16: Pull request #14 synchronize by chandrakananandi
57s chandrakananandi:publish-noop
chandrakananandi:publish-noop
57s
no op for publish Rust Code Quality Check #15: Pull request #14 synchronize by chandrakananandi
56s chandrakananandi:publish-noop
chandrakananandi:publish-noop
56s
no op for publish Rust Code Quality Check #14: Pull request #14 synchronize by chandrakananandi
54s chandrakananandi:publish-noop
chandrakananandi:publish-noop
54s
no op for publish Rust Code Quality Check #13: Pull request #14 synchronize by chandrakananandi
50s chandrakananandi:publish-noop
chandrakananandi:publish-noop
50s
no op for publish Rust Code Quality Check #12: Pull request #14 synchronize by chandrakananandi
55s chandrakananandi:publish-noop
chandrakananandi:publish-noop
55s
no op for publish Rust Code Quality Check #11: Pull request #14 opened by chandrakananandi
58s chandrakananandi:publish-noop
chandrakananandi:publish-noop
58s
Soroban 25.1.1 Rust Code Quality Check #10: Pull request #13 synchronize by chandrakananandi
1m 13s chandrakananandi:soroban-25.1.1
chandrakananandi:soroban-25.1.1
1m 13s
Soroban 25.1.1 Rust Code Quality Check #9: Pull request #13 synchronize by chandrakananandi
52s chandrakananandi:soroban-25.1.1
chandrakananandi:soroban-25.1.1
52s
Soroban 25.1.1 Rust Code Quality Check #8: Pull request #13 opened by chandrakananandi
13s chandrakananandi:soroban-25.1.1
chandrakananandi:soroban-25.1.1
13s
Add nondet impl for symbol and bytes Rust Code Quality Check #7: Pull request #10 synchronize by chandrakananandi
52s chandrakananandi:more-nondets
chandrakananandi:more-nondets
52s
Add nondet impl for symbol and bytes Rust Code Quality Check #6: Pull request #10 opened by chandrakananandi
10s chandrakananandi:more-nondets
chandrakananandi:more-nondets
10s
update soroban version Rust Code Quality Check #5: Pull request #9 opened by chandrakananandi
50s chandrakananandi:update-soroban
chandrakananandi:update-soroban
50s
feat: logging for address Rust Code Quality Check #4: Pull request #8 opened by chandrakananandi
55s chandrakananandi:cnandi/logging-address
chandrakananandi:cnandi/logging-address
55s
Logging support for soroban Address Rust Code Quality Check #3: Pull request #7 synchronize by chandrakananandi
1m 5s chandrakananandi:cnandi/log-address
chandrakananandi:cnandi/log-address
1m 5s
Logging support for soroban Address Rust Code Quality Check #2: Pull request #7 opened by chandrakananandi
14s chandrakananandi:cnandi/log-address
chandrakananandi:cnandi/log-address
14s
Clippy fixes Rust Code Quality Check #1: Pull request #6 opened by phreppo
59s phreppo:clippy
phreppo:clippy
59s