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
Adapt to finite sets and maps (#6) Build Benchmarks #32: Commit 6aed637 pushed by Chris-Hawblitzel
7m 51s main
main
7m 51s
Adapt to finite sets and maps (#6) Check Format #32: Commit 6aed637 pushed by Chris-Hawblitzel
2m 52s main
main
2m 52s
Adapt to finite sets and maps (#6) Verify and Build Node-Replication #33: Commit 6aed637 pushed by Chris-Hawblitzel
3m 4s main
main
3m 4s
Adapt to finite sets and maps Build Benchmarks #31: Pull request #6 synchronize by jaylorch
5m 9s jaylorch:finite-sets
jaylorch:finite-sets
5m 9s
Adapt to finite sets and maps Check Format #31: Pull request #6 synchronize by jaylorch
2m 26s jaylorch:finite-sets
jaylorch:finite-sets
2m 26s
Adapt to finite sets and maps Verify and Build Node-Replication #32: Pull request #6 synchronize by jaylorch
3m 47s jaylorch:finite-sets
jaylorch:finite-sets
3m 47s
Adapt to finite sets and maps Build Benchmarks #30: Pull request #6 opened by jaylorch
3m 20s jaylorch:finite-sets
jaylorch:finite-sets
3m 20s
Adapt to finite sets and maps Check Format #30: Pull request #6 opened by jaylorch
2m 35s jaylorch:finite-sets
jaylorch:finite-sets
2m 35s
Adapt to finite sets and maps Verify and Build Node-Replication #31: Pull request #6 opened by jaylorch
3m 54s jaylorch:finite-sets
jaylorch:finite-sets
3m 54s
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