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

Builds Branch Commit Type Ran Committer Via Coverage
193 uroboros/477/missing-init-state [477] Make init vars for Delegation Scheduling rule + add missing eq hyperlinks push uroboros buildkite pending completion   set done
192 master Merge pull request #488 from input-output-hk/mdimjasevic/473-pvbump-prop push GitHub buildkite pending completion   set done
191 mdimjasevic/473-pvbump-prop Issue #473: implements in Haskell three properties for the PVBUMP STS push Marko Dimjašević buildkite pending completion   set done
190 mdimjasevic/473-pvbump-prop Issue #473: implements Nadales' feedback on formulating properties push Marko Dimjašević buildkite pending completion   set done
189 specs/shelley/multi-sig-update-script-type Fix return types of `txinsScript` / `txinsVKey` push Matthias Güdemann buildkite pending completion   set done
188 mdimjasevic/473-pvbump-prop Merge branch 'master' of github.com:input-output-hk/cardano-ledger-specs into mdimjasevic/473-pvbump-prop push Marko Dimjašević buildkite pending completion   set done
187 uroboros/477/missing-init-state [477] Add Initial State rules for delegation to the Byron spec push uroboros buildkite pending completion   set done
186 mdimjasevic/473-pvbump-prop Issue #473: replaces an undefined with an error push Marko Dimjašević buildkite pending completion   set done
185 mdimjasevic/473-pvbump-prop Issue #473: updates release.nix to reflect a change in a Cabal file push Marko Dimjašević buildkite pending completion   set done
184 dnadales/476-check-money-is-constant Merge branch 'dnadales/476-check-money-is-constant' of github.com:input-output-hk/cardano-ledger-specs into dnadales/476-check-money-is-constant push Damian Nadales buildkite pending completion   set done
183 dnadales/476-check-money-is-constant Typo push GitHub buildkite pending completion   set done
182 dnadales/476-check-money-is-constant Typo push GitHub buildkite pending completion   set done
181 dnadales/476-check-money-is-constant Wake up CI push Damian Nadales buildkite pending completion   set done
179 mdimjasevic/473-pvbump-prop Issue #473: fixes an outdated import push Marko Dimjašević buildkite pending completion   set done
174 master Merge pull request #509 from input-output-hk/specs/shelley/refactor_multi-sig-spec push GitHub buildkite pending completion   set done