Islander v5.0.0-alpha.0

Pre-release

Pre-release

bigeasy released this 11 Oct 02:10

· 29 commits to master since this release

a699eb9

Sort .gitignore. Closes #86.
Create Markdown readme with badges. Closes #85.
Build with Actions, ship coverage to Codecov. Closes #84. Closes #83.
Add /.dots to .gitignore. Closes #82.
Remove /.proof.out from .gitignore. Closes #81.
Replace Monotonic with Paxos. Closes #80.
Revert test to Proof. Closes #79.

Closes #87.

Assets 2