Remove HLint workflow
This check no longer runs on the hosted GitHub runners, and we already have them running in Hydra
This check no longer runs on the hosted GitHub runners, and we already have them running in Hydra
Cabal 3.14 reworked FilePath references, which we use in the custom Setup. This is a breaking change and we are not yet ready to commit to Cabal 3.14+.
Signed-off-by: Chris Gianelloni <[email protected]>
in anticipation of wanting the TraceBuffer activated in production, which will need some thinking Signed-off-by: Roland Kuhn <[email protected]>
This has been created by opencode /init and looks reasonable to me, but I don’t have experience with using this file. Claude doesn’t yet reliably read AGENTS.md, so CLAUDE.md is a symlink to that (in order to keep one source of truth). Signed-off-by: Roland Kuhn <[email protected]>
chore: remove old consensus stages and rename new ones
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: cryptodj413 <[email protected]>
Signed-off-by: Chris Guiney <[email protected]>
* ci(update-workflow): validate package Signed-off-by: Tripura Repalle <[email protected]> * ci(update-workflow): validate package Signed-off-by: Tripura Repalle <[email protected]> * fix(update-workflow): validate package Signed-off-by: Tripura Repalle <[email protected]> * fix(update-workflow): validate package Signed-off-by: Tripura Repalle <[email protected]> --------- Signed-off-by: Tripura Repalle <[email protected]>
Signed-off-by: cryptodj413 <[email protected]>
Signed-off-by: Chris Guiney <[email protected]>
Signed-off-by: Roland Kuhn <[email protected]>
Browser extension CSP connect-src with a path (e.g. /mainnet) only matches that exact path without a trailing slash. Adding '/' enables prefix matching so sub-paths like /mainnet/api/v0/... are permitted. Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
The new `ConformanceTest` record contains fields for all data formerly used to run a test via `forAllGenesisTest` helper, plus other fields that pertain to its evaluation as a test property on a`TestTree`. A value of this type is defined for each point-schedule/genesis test. All such `ConformanceTest`s are arranged in a `TestSuite`s, a data structure introduced with the goal of eventually exporting them as part of a new sublibrary for the Conformance Testing of Consensus harness (see https://github.com/tweag/cardano-conformance-testing-of-consensus). This data structure is designed to optimize single test lookups, while retaining the necessary structure to be compiled back to a `TestTree`, so that the introduced changes preserve the semantics of the `ouroboros-consensus:test:consensus-diffusion-test` test suite. To accomplish this, a new data type is introduced in each module as a `key` for the locally defined `TestSuite`, such that each test in the module corresponds to a unique value (nullary constructor) of this type. This means that including a new test in a `TestSuite` requires the extension of such key type by introducing a new data constructor. These `key` types are aggregated into higher level key types to reify the nested grouping of the original tasty `TestTree`s. It is by means of `mkTestSuite` and `at` that a higher level `TestSuite` can be defined. The `SmallKey key` constraint is needed for their exhaustive construction, via `newTestSuite` and `mkTestSuite`; as implemented, a `TestSuite` is a total map. Co-authored-by: Sandy Maguire <[email protected]>