Skip to content

Enhance etcd raft TLA+ spec #330

Enhance etcd raft TLA+ spec

Enhance etcd raft TLA+ spec #330

Workflow file for this run

name: Test ARM64
permissions: read-all
on: [push, pull_request]
jobs:
test-linux-arm64-cpu-race:
uses: ./.github/workflows/test_template.yaml
with:
runs-on: actuated-arm64-8cpu-8gb
targets: "['linux-arm64-unit-4-cpu-race']"