input-output-hk / decentralized-software-updates / 709

Builds Branch Commit Type Ran Committer Via Coverage
709 HEAD Minor edit. push Damian Nadales buildkite pending completion   set done
710 HEAD Minor edits to the READMEs (#173) push GitHub buildkite pending completion   set done
707 HEAD Remove "Contributing" section. (#172) push GitHub buildkite pending completion   set done
706 HEAD Remove "Contributing" section. push Damian Nadales buildkite pending completion   set done
705 HEAD Remove formal spec directory. (#171) push GitHub buildkite pending completion   set done
704 HEAD Remove formal spec. push Damian Nadales buildkite pending completion   set done
703 HEAD Document the implementation (#170) push GitHub buildkite pending completion   set done
702 HEAD Modify link to implementation README. push Damian Nadales buildkite pending completion   set done
700 HEAD Explain coverage, benchmarks, and worst case analysis. push Damian Nadales buildkite pending completion   set done
699 HEAD Explain why do we have `s` and `t` parameters in `Trace`. push Damian Nadales buildkite pending completion   set done
697 HEAD Redesign the design specification (#167) push GitHub buildkite pending completion   set done
696 HEAD Document how to run demo and benchmarks. (#169) push GitHub buildkite pending completion   set done
695 HEAD Minor. push Damian Nadales buildkite pending completion   set done
694 HEAD Explain what traces are. push Damian Nadales buildkite pending completion   set done
689 HEAD added a reference to a provoledge deliverable push nkarag buildkite pending completion   set done