Skip to content

Actions: verus-lang/verified-node-replication

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use "implies" syntax to simplify asserts and avoid warning Verify and Build Node-Replication #17: Pull request #2 synchronize by Chris-Hawblitzel
January 23, 2025 21:33 4m 11s veritas
veritas
January 23, 2025 21:33 4m 11s
Use "implies" syntax to simplify asserts and avoid warning Build Benchmarks #17: Pull request #2 synchronize by Chris-Hawblitzel
January 23, 2025 21:33 2m 25s veritas
veritas
January 23, 2025 21:33 2m 25s
Use "implies" syntax to simplify asserts and avoid warning Check Format #17: Pull request #2 synchronize by Chris-Hawblitzel
January 23, 2025 21:33 2m 4s veritas
veritas
January 23, 2025 21:33 2m 4s
Use "implies" syntax to simplify asserts and avoid warning Verify and Build Node-Replication #16: Pull request #2 opened by Chris-Hawblitzel
January 23, 2025 21:24 4m 8s veritas
veritas
January 23, 2025 21:24 4m 8s
Use "implies" syntax to simplify asserts and avoid warning Build Benchmarks #16: Pull request #2 opened by Chris-Hawblitzel
January 23, 2025 21:24 4m 24s veritas
veritas
January 23, 2025 21:24 4m 24s
Use "implies" syntax to simplify asserts and avoid warning Check Format #16: Pull request #2 opened by Chris-Hawblitzel
January 23, 2025 21:24 2m 15s veritas
veritas
January 23, 2025 21:24 2m 15s
update for VerusSync token API Check Format #15: Commit b3ca921 pushed by tjhance
November 30, 2024 15:01 1m 57s main
main
November 30, 2024 15:01 1m 57s
update for VerusSync token API Build Benchmarks #15: Commit b3ca921 pushed by tjhance
November 30, 2024 15:01 3m 9s main
main
November 30, 2024 15:01 3m 9s
update for VerusSync token API Verify and Build Node-Replication #15: Commit b3ca921 pushed by tjhance
November 30, 2024 15:01 3m 54s main
main
November 30, 2024 15:01 3m 54s
update bench.py script Check Format #14: Commit fc1b14d pushed by achreto
September 8, 2024 16:47 1m 58s main
main
September 8, 2024 16:47 1m 58s
update bench.py script Build Benchmarks #14: Commit fc1b14d pushed by achreto
September 8, 2024 16:47 2m 23s main
main
September 8, 2024 16:47 2m 23s
update bench.py script Verify and Build Node-Replication #14: Commit fc1b14d pushed by achreto
September 8, 2024 16:47 3m 45s main
main
September 8, 2024 16:47 3m 45s
Support a higher number of threads per replica Build Benchmarks #13: Commit 0391d6c pushed by utaal
September 2, 2024 15:19 5m 34s main
main
September 2, 2024 15:19 5m 34s
Support a higher number of threads per replica Check Format #13: Commit 0391d6c pushed by utaal
September 2, 2024 15:19 2m 0s main
main
September 2, 2024 15:19 2m 0s
Support a higher number of threads per replica Verify and Build Node-Replication #13: Commit 0391d6c pushed by utaal
September 2, 2024 15:19 6m 1s main
main
September 2, 2024 15:19 6m 1s
bench: disable numa-interleave filling of cores Check Format #12: Commit 341be41 pushed by achreto
August 20, 2024 17:14 2m 2s main
main
August 20, 2024 17:14 2m 2s
bench: disable numa-interleave filling of cores Verify and Build Node-Replication #12: Commit 341be41 pushed by achreto
August 20, 2024 17:14 3m 54s main
main
August 20, 2024 17:14 3m 54s
bench: disable numa-interleave filling of cores Build Benchmarks #12: Commit 341be41 pushed by achreto
August 20, 2024 17:14 2m 41s main
main
August 20, 2024 17:14 2m 41s
benchmarks: remove 'ERROR' prints Build Benchmarks #11: Commit a1cc5ce pushed by achreto
August 19, 2024 20:31 2m 48s main
main
August 19, 2024 20:31 2m 48s
benchmarks: remove 'ERROR' prints Check Format #11: Commit a1cc5ce pushed by achreto
August 19, 2024 20:31 2m 4s main
main
August 19, 2024 20:31 2m 4s
benchmarks: remove 'ERROR' prints Verify and Build Node-Replication #11: Commit a1cc5ce pushed by achreto
August 19, 2024 20:31 3m 32s main
main
August 19, 2024 20:31 3m 32s
benchmarks: apply formatter Build Benchmarks #10: Commit f8487d5 pushed by achreto
August 19, 2024 19:24 2m 40s main
main
August 19, 2024 19:24 2m 40s
benchmarks: apply formatter Check Format #10: Commit f8487d5 pushed by achreto
August 19, 2024 19:24 2m 1s main
main
August 19, 2024 19:24 2m 1s
benchmarks: apply formatter Verify and Build Node-Replication #10: Commit f8487d5 pushed by achreto
August 19, 2024 19:24 3m 34s main
main
August 19, 2024 19:24 3m 34s
update benchmark readme Check Format #9: Commit 9edf2d1 pushed by achreto
August 19, 2024 19:23 2m 9s main
main
August 19, 2024 19:23 2m 9s