feat: meta election (#492)

* feat: meta election

* feat: election by etcd

* chore: redirect on re-election

* chore: by cr

* chore: by cr

* chore: by cr

* chore: rename CI
This commit is contained in:
Jiachun Feng
2022-11-15 11:04:15 +08:00
committed by GitHub
parent a7d311e480
commit 3f12f5443d
27 changed files with 455 additions and 99 deletions

View File

@@ -15,7 +15,7 @@ on:
- 'docker/**'
workflow_dispatch:
name: Continuous integration for developing
name: CI
env:
RUST_TOOLCHAIN: nightly-2022-07-14