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

update benchmark readme Verify and Build Node-Replication #9: Commit 9edf2d1 pushed by achreto
August 19, 2024 19:23 3m 42s main
main
August 19, 2024 19:23 3m 42s
update benchmark readme Build Benchmarks #9: Commit 9edf2d1 pushed by achreto
August 19, 2024 19:23 2m 30s main
main
August 19, 2024 19:23 2m 30s
update readme Verify and Build Node-Replication #8: Commit 65ba598 pushed by achreto
August 16, 2024 21:13 3m 41s main
main
August 16, 2024 21:13 3m 41s
update readme Check Format #8: Commit 65ba598 pushed by achreto
August 16, 2024 21:13 1m 57s main
main
August 16, 2024 21:13 1m 57s
update readme Build Benchmarks #8: Commit 65ba598 pushed by achreto
August 16, 2024 21:13 2m 28s main
main
August 16, 2024 21:13 2m 28s
benchmarks: fixing paths in the run script Verify and Build Node-Replication #7: Commit df1e6b6 pushed by achreto
August 16, 2024 21:09 3m 44s main
main
August 16, 2024 21:09 3m 44s
benchmarks: fixing paths in the run script Check Format #7: Commit df1e6b6 pushed by achreto
August 16, 2024 21:09 1m 54s main
main
August 16, 2024 21:09 1m 54s
benchmarks: fixing paths in the run script Build Benchmarks #7: Commit df1e6b6 pushed by achreto
August 16, 2024 21:09 2m 7s main
main
August 16, 2024 21:09 2m 7s
benchmarks: print progress when running ironsync Check Format #6: Commit 0f0d438 pushed by achreto
August 16, 2024 15:31 1m 58s main
main
August 16, 2024 15:31 1m 58s
benchmarks: print progress when running ironsync Verify and Build Node-Replication #6: Commit 0f0d438 pushed by achreto
August 16, 2024 15:31 3m 52s main
main
August 16, 2024 15:31 3m 52s
benchmarks: print progress when running ironsync Build Benchmarks #6: Commit 0f0d438 pushed by achreto
August 16, 2024 15:31 2m 48s main
main
August 16, 2024 15:31 2m 48s
bump ironsync repo version Build Benchmarks #5: Commit e03ce0f pushed by achreto
August 16, 2024 14:41 4m 32s main
main
August 16, 2024 14:41 4m 32s
bump ironsync repo version Verify and Build Node-Replication #5: Commit e03ce0f pushed by achreto
August 16, 2024 14:41 5m 14s main
main
August 16, 2024 14:41 5m 14s
bump ironsync repo version Check Format #5: Commit e03ce0f pushed by achreto
August 16, 2024 14:41 2m 6s main
main
August 16, 2024 14:41 2m 6s
some fixes with the benchmarking script Build Benchmarks #4: Commit d212450 pushed by achreto
August 16, 2024 14:39 4m 52s main
main
August 16, 2024 14:39 4m 52s
some fixes with the benchmarking script Verify and Build Node-Replication #4: Commit d212450 pushed by achreto
August 16, 2024 14:39 5m 19s main
main
August 16, 2024 14:39 5m 19s
some fixes with the benchmarking script Check Format #4: Commit d212450 pushed by achreto
August 16, 2024 14:39 2m 2s main
main
August 16, 2024 14:39 2m 2s
Add an invariant preserved by dispatch_mut to the Dispatch trait Verify and Build Node-Replication #3: Pull request #1 synchronize by matthias-brun
June 26, 2024 01:33 3m 45s matthias-brun:main
matthias-brun:main
June 26, 2024 01:33 3m 45s
Add an invariant preserved by dispatch_mut to the Dispatch trait Build Benchmarks #3: Pull request #1 synchronize by matthias-brun
June 26, 2024 01:33 2m 18s matthias-brun:main
matthias-brun:main
June 26, 2024 01:33 2m 18s
Add an invariant preserved by dispatch_mut to the Dispatch trait Check Format #3: Pull request #1 synchronize by matthias-brun
June 26, 2024 01:33 2m 10s matthias-brun:main
matthias-brun:main
June 26, 2024 01:33 2m 10s
Add an invariant preserved by dispatch_mut to the Dispatch trait Build Benchmarks #2: Pull request #1 opened by matthias-brun
June 25, 2024 21:14 4m 3s matthias-brun:main
matthias-brun:main
June 25, 2024 21:14 4m 3s
Add an invariant preserved by dispatch_mut to the Dispatch trait Check Format #2: Pull request #1 opened by matthias-brun
June 25, 2024 21:14 2m 4s matthias-brun:main
matthias-brun:main
June 25, 2024 21:14 2m 4s
Add an invariant preserved by dispatch_mut to the Dispatch trait Verify and Build Node-Replication #2: Pull request #1 opened by matthias-brun
June 25, 2024 21:14 5m 23s matthias-brun:main
matthias-brun:main
June 25, 2024 21:14 5m 23s
make sure SPDX license identifiers are in all files Verify and Build Node-Replication #1: Commit 5d49600 pushed by achreto
May 14, 2024 18:47 5m 38s main
main
May 14, 2024 18:47 5m 38s
make sure SPDX license identifiers are in all files Build Benchmarks #1: Commit 5d49600 pushed by achreto
May 14, 2024 18:47 4m 39s main
main
May 14, 2024 18:47 4m 39s