input-output-hk / cardano-ledger-specs / 872

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
872	shelley/exec_spec/delegation_properties	Use comparison to allow easier interpretation of CEX	push	02 Sep 2019 03:13PM UTC	Matthias Güdemann	buildkite	pending completion set done
873	uroboros/747/sync_bbody_sts	[747] BBODY STS - add predicate failure to formal spec	push	02 Sep 2019 03:09PM UTC	uroboros	buildkite	pending completion set done
871	shelley/exec_spec/delegation_properties	Use `assert` for properties	push	02 Sep 2019 02:53PM UTC	Matthias Güdemann	buildkite	pending completion set done
870	nc/praos	Expose details from PRTCL	push	02 Sep 2019 02:38PM UTC	Nicholas Clarke	buildkite	pending completion set done
869	uroboros/747/sync_bbody_sts	[745] OVERLAY STS - sync formal and exec. spec	push	02 Sep 2019 01:39PM UTC	uroboros	buildkite	pending completion set done
868	shelley/exec_spec/delegation_properties	Implement delegation map property	push	02 Sep 2019 12:58PM UTC	Matthias Güdemann	buildkite	pending completion set done
867	uroboros/747/sync_bbody_sts	[747] BBODY STS - sync formal and exec. spec	push	02 Sep 2019 10:59AM UTC	uroboros	buildkite	pending completion set done
866	master	Merge pull request #811 from input-output-hk/shelley/exec_spec/delegation_properties	push	02 Sep 2019 07:51AM UTC	GitHub	buildkite	pending completion set done
865	shelley/exec_spec/delegation_properties	Use implication operator	push	02 Sep 2019 07:06AM UTC	Matthias Güdemann	buildkite	pending completion set done
864	master	Merge pull request #816 from input-output-hk/uroboros/740/sync_updn_sts	push	31 Aug 2019 05:34AM UTC	GitHub	buildkite	pending completion set done
862	master	Merge pull request #805 from input-output-hk/exec_spec/shelley/genesis-delegation-example	push	30 Aug 2019 05:37PM UTC	GitHub	buildkite	pending completion set done
860	uroboros/740/sync_updn_sts	[740] UPDN STS - sync formal and exec. spec	push	30 Aug 2019 04:27PM UTC	uroboros	buildkite	pending completion set done
859	master	Merge pull request #815 from input-output-hk/uroboros/743_744/sync_bhead_ocert_sts	push	30 Aug 2019 03:03PM UTC	GitHub	buildkite	pending completion set done
857	uroboros/743_744/sync_bhead_ocert_sts	[743] [744] BHEAD + OCERT STS's - sync formal and exec. specs	push	30 Aug 2019 12:45PM UTC	uroboros	buildkite	pending completion set done
856	uroboros/743_744/sync_bhead_ocert_sts	Merge pull request #814 from input-output-hk/uroboros/734/sync_shelley_pool_sts	push	30 Aug 2019 12:37PM UTC	GitHub	buildkite	pending completion set done

← Previous
1
2
…
80
81
82
83
84
85
86
87
88
…
118
119
Next →