Skip to content
Back to pull request #6508

Model max_uncommitted_tx_count of raft.h in abs.tla #2968

Sign in to view logs

Model max_uncommitted_tx_count of raft.h in abs.tla

Model max_uncommitted_tx_count of raft.h in abs.tla #2968

Triggered via pull request September 27, 2024 01:02
@lemmylemmy
labeled #6508
Status Skipped
Total duration 2s
Artifacts –

backport.yml

on: pull_request_target
Backport PR
0s
Backport PR
Fit to window
Zoom out
Zoom in