Approve GitHub Workflows

Enhance etcd raft TLA+ spec #292

Sign in to view logs

Triggered via pull request October 15, 2024 02:22

labeled #226

Status Skipped

Total duration 3s

Artifacts –

gh-workflow-approve.yaml

on: pull_request_target

Approve ok-to-test