Skip to content

Actions: verus-lang/verified-node-replication

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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 #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
Add decreases Build Benchmarks #21: Commit db28de7 pushed by Chris-Hawblitzel
4m 45s main
main
4m 45s
Add decreases Check Format #21: Commit db28de7 pushed by Chris-Hawblitzel
1m 53s main
main
1m 53s
fix flakiness by using all_triggers in common_pred definition Build Benchmarks #20: Commit 180e4b2 pushed by tjhance
4m 6s main
main
4m 6s
fix flakiness by using all_triggers in common_pred definition Verify and Build Node-Replication #21: Commit 180e4b2 pushed by tjhance
4m 12s main
main
4m 12s
fix flakiness by using all_triggers in common_pred definition Check Format #20: Commit 180e4b2 pushed by tjhance
2m 5s main
main
2m 5s