Skip to content

Actions: verus-lang/verified-node-replication

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
Merge pull request #5 from verus-lang/spec-eq Check Format #29: Commit eb8e272 pushed by Chris-Hawblitzel
2m 27s main
main
2m 27s
Merge pull request #5 from verus-lang/spec-eq Verify and Build Node-Replication #30: Commit eb8e272 pushed by Chris-Hawblitzel
3m 53s main
main
3m 53s
Merge pull request #5 from verus-lang/spec-eq Build Benchmarks #29: Commit eb8e272 pushed by Chris-Hawblitzel
2m 15s main
main
2m 15s
Remove extra address-of operators to prepare for https://github.com/verus-lang/verus/pull/2377 Verify and Build Node-Replication #29: Pull request #5 opened by Chris-Hawblitzel
3m 55s spec-eq
spec-eq
3m 55s
Remove extra address-of operators to prepare for https://github.com/verus-lang/verus/pull/2377 Check Format #28: Pull request #5 opened by Chris-Hawblitzel
2m 27s spec-eq
spec-eq
2m 27s
Remove extra address-of operators to prepare for https://github.com/verus-lang/verus/pull/2377 Build Benchmarks #28: Pull request #5 opened by Chris-Hawblitzel
4m 22s spec-eq
spec-eq
4m 22s
Adapt to the new mut ref support Build Benchmarks #27: Commit 59329b1 pushed by parno
3m 52s main
main
3m 52s
Adapt to the new mut ref support Verify and Build Node-Replication #28: Commit 59329b1 pushed by parno
3m 53s main
main
3m 53s
Adapt to the new mut ref support Check Format #27: Commit 59329b1 pushed by parno
2m 39s main
main
2m 39s
Merge pull request #4 from verus-lang/is-matches Verify and Build Node-Replication #27: Commit c3acacf pushed by Chris-Hawblitzel
4m 4s main
main
4m 4s
Merge pull request #4 from verus-lang/is-matches Check Format #26: Commit c3acacf pushed by Chris-Hawblitzel
1m 54s main
main
1m 54s
Merge pull request #4 from verus-lang/is-matches Build Benchmarks #26: Commit c3acacf pushed by Chris-Hawblitzel
8m 38s main
main
8m 38s
Fix warnings: update deprecated is/get syntax to use new is/matches syntax Verify and Build Node-Replication #26: Pull request #4 opened by Chris-Hawblitzel
4m 11s is-matches
is-matches
4m 11s
Fix warnings: update deprecated is/get syntax to use new is/matches syntax Build Benchmarks #25: Pull request #4 opened by Chris-Hawblitzel
8m 29s is-matches
is-matches
8m 29s
Fix warnings: update deprecated is/get syntax to use new is/matches syntax Check Format #25: Pull request #4 opened by Chris-Hawblitzel
1m 53s is-matches
is-matches
1m 53s
Merge pull request #3 from verus-lang/crates-io Verify and Build Node-Replication #25: Commit 17a5aa3 pushed by parno
4m 0s main
main
4m 0s
Merge pull request #3 from verus-lang/crates-io Build Benchmarks #24: Commit 17a5aa3 pushed by parno
7m 54s main
main
7m 54s
Merge pull request #3 from verus-lang/crates-io Check Format #24: Commit 17a5aa3 pushed by parno
2m 0s main
main
2m 0s
Edits necessary to get things working once the verus crate-rename lands Verify and Build Node-Replication #24: Pull request #3 opened by parno
4m 5s crates-io
crates-io
4m 5s
Edits necessary to get things working once the verus crate-rename lands Build Benchmarks #23: Pull request #3 opened by parno
7m 30s crates-io
crates-io
7m 30s
Edits necessary to get things working once the verus crate-rename lands Check Format #23: Pull request #3 opened by parno
1m 57s crates-io
crates-io
1m 57s
Update use of PointsToData::value to fix deprecation warnings Build Benchmarks #22: Commit cdb6339 pushed by Chris-Hawblitzel
2m 17s main
main
2m 17s
Update use of PointsToData::value to fix deprecation warnings Verify and Build Node-Replication #23: Commit cdb6339 pushed by Chris-Hawblitzel
4m 9s main
main
4m 9s
Update use of PointsToData::value to fix deprecation warnings Check Format #22: Commit cdb6339 pushed by Chris-Hawblitzel
1m 52s main
main
1m 52s
Add decreases Verify and Build Node-Replication #22: Commit db28de7 pushed by Chris-Hawblitzel
4m 5s main
main
4m 5s