 Hadrien Croubois
|
e9779f8ef2
Merge remote-tracking branch 'upstream' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
6af1f18eb5
merge master
|
2 years ago |
|
Hadrien Croubois
|
8339187625
fix
|
2 years ago |
|
Hadrien Croubois
|
42580f2891
Merge branch 'master' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
8d029476af
test function with both clocks
|
2 years ago |
|
Hadrien Croubois
|
7c62ed2e8a
disable problematic rules
|
2 years ago |
|
Hadrien Croubois
|
67a00ccaea
disable specs we can't fix :/
|
2 years ago |
|
Hadrien Croubois
|
a64bb8801c
update
|
2 years ago |
|
Hadrien Croubois
|
1744132d37
Merge branch 'master' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
3f79e2610c
update
|
2 years ago |
|
Hadrien Croubois
|
74f613f5cc
fix specs
|
2 years ago |
|
Hadrien Croubois
|
d0b259546f
fix options
|
2 years ago |
|
Hadrien Croubois
|
82bbdb2c64
codespell
|
2 years ago |
|
Hadrien Croubois
|
89ceb34f0d
don't run GovernorFunctions in CI
|
2 years ago |
|
Hadrien Croubois
|
96553597fa
disable GovernorFunctions
|
2 years ago |
|
Hadrien Croubois
|
4ea73a8c05
add PreventLateQuorum specs
|
2 years ago |
|
Hadrien Croubois
|
d7884251aa
update
|
2 years ago |
|
Hadrien Croubois
|
d2b5d154d6
Merge remote-tracking branch 'upstream/master' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
b320e1ec4c
lint
|
2 years ago |
|
Hadrien Croubois
|
c33e7bd340
update governor specs
|
2 years ago |
|
Hadrien Croubois
|
318cfd501b
update
|
2 years ago |
|
Hadrien Croubois
|
f44e26fa7b
disable wip specs
|
2 years ago |
|
Hadrien Croubois
|
9f39697a44
lint
|
2 years ago |
|
Hadrien Croubois
|
5421355e57
test both modes
|
2 years ago |
|
Hadrien Croubois
|
1f5982b5e3
starting to work on governor specifications
|
2 years ago |