Skip to content

Actions: Certora/cvlr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 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
Julian/soroban auto sanity (#48) Rust CI #158: Commit f1e3e08 pushed by julian-certora
3m 50s main
main
3m 50s
Julian/soroban auto sanity Rust CI #157: Pull request #48 synchronize by julian-certora
2m 33s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 33s
Julian/soroban auto sanity Rust CI #156: Pull request #48 synchronize by julian-certora
2m 51s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 51s
Julian/soroban auto sanity Rust CI #155: Pull request #48 synchronize by chandrakananandi
3m 43s julian/soroban_auto_sanity
julian/soroban_auto_sanity
3m 43s
Julian/soroban auto sanity Rust CI #154: Pull request #48 synchronize by chandrakananandi
3m 3s julian/soroban_auto_sanity
julian/soroban_auto_sanity
3m 3s
Julian/soroban auto sanity Rust CI #153: Pull request #48 synchronize by chandrakananandi
2m 51s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 51s
Julian/soroban auto sanity Rust CI #152: Pull request #48 synchronize by chandrakananandi
1m 41s julian/soroban_auto_sanity
julian/soroban_auto_sanity
1m 41s
Julian/soroban auto sanity Rust CI #151: Pull request #48 synchronize by chandrakananandi
2m 3s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 3s
Julian/soroban auto sanity Rust CI #150: Pull request #48 synchronize by julian-certora
1m 46s julian/soroban_auto_sanity
julian/soroban_auto_sanity
1m 46s
Julian/soroban auto sanity Rust CI #149: Pull request #48 synchronize by julian-certora
2m 18s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 18s
Julian/soroban auto sanity Rust CI #148: Pull request #48 synchronize by julian-certora
2m 27s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 27s
Julian/soroban auto sanity Rust CI #147: Pull request #48 synchronize by julian-certora
2m 21s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 21s
Julian/soroban auto sanity Rust CI #146: Pull request #48 synchronize by julian-certora
2m 44s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 44s
Julian/soroban auto sanity Rust CI #145: Pull request #48 opened by julian-certora
2m 15s julian/soroban_auto_sanity
julian/soroban_auto_sanity
2m 15s
fix(cvlr-macros): make rule_for_spec snapshot toolchain-stable Rust CI #144: Commit b8bfb4c pushed by 1arie1
2m 42s main
main
2m 42s
feat(cvlr-spec): add #![no_std] for no_std / wasm32v1-none consumers Rust CI #143: Pull request #47 synchronize by mihaieremia
2m 23s mihaieremia:feat/no-std-cvlr-spec
mihaieremia:feat/no-std-cvlr-spec
2m 23s
feat(cvlr-spec): add #![no_std] for no_std / wasm32v1-none consumers Rust CI #142: Pull request #47 opened by mihaieremia
2m 10s mihaieremia:feat/no-std-cvlr-spec
mihaieremia:feat/no-std-cvlr-spec
2m 10s
chore: release 0.6.1 Rust CI #141: Commit 0b33500 pushed by 1arie1
2m 41s main
main
2m 41s
feat: new implementation of nativeint -> u128 Rust CI #140: Commit c44a5e7 pushed by 1arie1
2m 41s main
main
2m 41s
Improved implementation of nativeint -> u128 Rust CI #139: Pull request #46 synchronize by 1arie1
2m 26s ag/nativeint_u128
ag/nativeint_u128
2m 26s
chore: release 0.6.0 Rust CI #138: Commit b1836c6 pushed by 1arie1
2m 43s main
main
2m 43s
Improved implementation of nativeint -> u128 Rust CI #137: Pull request #46 opened by 1arie1
2m 46s ag/nativeint_u128
ag/nativeint_u128
2m 46s
feat: make requires and assumptions optional Rust CI #136: Commit b1fb17c pushed by 1arie1
2m 31s main
main
2m 31s
Make requires and assumptions optional Rust CI #135: Pull request #45 opened by 1arie1
2m 23s ag/optional-requires
ag/optional-requires
2m 23s
feat: signed operations for NativeIntU64 Rust CI #134: Commit 561d7c9 pushed by 1arie1
2m 48s main
main
2m 48s