issues
search
uwplse
/
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182
stars
19
forks
source link
Switch to using Docker images in Travis
#73
Closed
palmskog
closed
6 years ago
palmskog
commented
6 years ago
Use Ubuntu Xenial Docker images from Mike Ernst.
Use Ubuntu Xenial Docker images from Mike Ernst.