Skip to content

Actions: IntersectMBO/cardano-ledger

Actions

Haskell CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell.yml
6,804 workflow runs
6,804 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Conformance.Imp: imptests with conformance Haskell CI #16388: Pull request #4748 synchronize by aniketd
November 19, 2024 11:35 35m 42s aniketd/tx-imptest-conformance
aniketd/tx-imptest-conformance
November 19, 2024 11:35 35m 42s
Add Conformance.Imp: imptests with conformance Haskell CI #16387: Pull request #4748 synchronize by aniketd
November 19, 2024 11:26 9m 50s aniketd/tx-imptest-conformance
aniketd/tx-imptest-conformance
November 19, 2024 11:26 9m 50s
Documented RatifyState Haskell CI #16386: Pull request #4759 synchronize by Soupstraw
November 19, 2024 10:25 2h 7m 41s jj/ratify-state-docs
jj/ratify-state-docs
November 19, 2024 10:25 2h 7m 41s
Updated spec to fix a conformance failure Haskell CI #16385: Pull request #4756 synchronize by Soupstraw
November 19, 2024 10:22 2h 7m 27s jj/conformance-bump
jj/conformance-bump
November 19, 2024 10:22 2h 7m 27s
Documented RatifyState Haskell CI #16384: Pull request #4759 synchronize by Soupstraw
November 19, 2024 10:19 6m 33s jj/ratify-state-docs
jj/ratify-state-docs
November 19, 2024 10:19 6m 33s
Documented RatifyState Haskell CI #16383: Pull request #4759 synchronize by Soupstraw
November 19, 2024 10:06 14m 1s jj/ratify-state-docs
jj/ratify-state-docs
November 19, 2024 10:06 14m 1s
Haskell CI - NIGHTLY Haskell CI #16382: Scheduled
November 19, 2024 06:00 3h 35m 43s master
master
November 19, 2024 06:00 3h 35m 43s
Merge pull request #4708 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Finish implementing the tests in Alonzo.Imp.UtxowSpec.Valid Haskell CI #16381: Commit 4ae42f5 pushed by neilmayhew
November 19, 2024 01:23 3m 1s master
master
November 19, 2024 01:23 3m 1s
Finish implementing the tests in Alonzo.Imp.UtxowSpec.Valid Haskell CI #16380: Pull request #4708 synchronize by neilmayhew
November 18, 2024 23:17 2h 5m 52s nm/4180-AlonzoValidTxUTXOW-to-ImpTest
nm/4180-AlonzoValidTxUTXOW-to-ImpTest
November 18, 2024 23:17 2h 5m 52s
constrained-generators: Fix test failure with narrowing Haskell CI #16379: Commit 03c1bdf pushed by MaximilianAlgehed
November 18, 2024 18:16 2h 7m 27s master
master
November 18, 2024 18:16 2h 7m 27s
constrained-generators: Fix test failure related to narrowing of fold specs Haskell CI #16378: Pull request #4755 synchronize by lehins
November 18, 2024 15:51 2h 24m 18s fix-constrained-failure
fix-constrained-failure
November 18, 2024 15:51 2h 24m 18s
Improved the error messages when a Spec fails. (#4739) The function explainSpec no longer drops explanations on TypeSpec Added guardTypeSpec, which catches errors earlier, so there is less noise. function symbols like subset_ and member_ print a elided version of their set arguments when they are large literals. Improves readabilty as irrelevant information no longer overwhelms the user. Add the constructor ExplainSpec to Specification Assert now has type Assert :: Term fn Bool -> Pred fn Added c... Haskell CI #16377: Commit 6337f6f pushed by TimSheard
November 18, 2024 15:51 2h 6m 27s master
master
November 18, 2024 15:51 2h 6m 27s
constrained-generators: Fix test failure related to narrowing of fold specs Haskell CI #16376: Pull request #4755 synchronize by MaximilianAlgehed
November 18, 2024 15:09 43m 9s fix-constrained-failure
fix-constrained-failure
November 18, 2024 15:09 43m 9s
Constrained generators for EPOCH rule Haskell CI #16375: Pull request #4740 synchronize by MaximilianAlgehed
November 18, 2024 15:09 26m 35s epoch
epoch
November 18, 2024 15:09 26m 35s
constrained-generators: Fix test failure related to narrowing of fold specs Haskell CI #16374: Pull request #4755 synchronize by MaximilianAlgehed
November 18, 2024 15:00 9m 37s fix-constrained-failure
fix-constrained-failure
November 18, 2024 15:00 9m 37s
Add Conformance.Imp: imptests with conformance Haskell CI #16373: Pull request #4748 synchronize by aniketd
November 18, 2024 12:22 2h 21m 41s aniketd/tx-imptest-conformance
aniketd/tx-imptest-conformance
November 18, 2024 12:22 2h 21m 41s
Documented RatifyState Haskell CI #16372: Pull request #4759 synchronize by Soupstraw
November 18, 2024 12:13 2h 10m 54s jj/ratify-state-docs
jj/ratify-state-docs
November 18, 2024 12:13 2h 10m 54s
Add Conformance.Imp: imptests with conformance Haskell CI #16371: Pull request #4748 synchronize by aniketd
November 18, 2024 12:06 16m 51s aniketd/tx-imptest-conformance
aniketd/tx-imptest-conformance
November 18, 2024 12:06 16m 51s
Documented RatifyState Haskell CI #16370: Pull request #4759 opened by Soupstraw
November 18, 2024 11:24 50m 16s jj/ratify-state-docs
jj/ratify-state-docs
November 18, 2024 11:24 50m 16s
Updated spec to fix a conformance failure Haskell CI #16369: Pull request #4756 synchronize by Soupstraw
November 18, 2024 11:23 2h 24m 3s jj/conformance-bump
jj/conformance-bump
November 18, 2024 11:23 2h 24m 3s
Updated spec to fix a conformance failure Haskell CI #16368: Pull request #4756 synchronize by Soupstraw
November 18, 2024 11:21 2m 19s jj/conformance-bump
jj/conformance-bump
November 18, 2024 11:21 2m 19s
Updated spec to fix a conformance failure Haskell CI #16367: Pull request #4756 synchronize by Soupstraw
November 18, 2024 11:21 26s jj/conformance-bump
jj/conformance-bump
November 18, 2024 11:21 26s
Updated spec to fix a conformance failure Haskell CI #16366: Pull request #4756 synchronize by Soupstraw
November 18, 2024 10:56 25m 31s jj/conformance-bump
jj/conformance-bump
November 18, 2024 10:56 25m 31s
Haskell CI - NIGHTLY Haskell CI #16365: Scheduled
November 18, 2024 06:00 3h 42m 26s master
master
November 18, 2024 06:00 3h 42m 26s
Tools for constrained generation of types that need witnessing Haskell CI #16364: Pull request #4732 synchronize by TimSheard
November 17, 2024 19:30 2h 8m 45s ts-constrained-witnessing
ts-constrained-witnessing
November 17, 2024 19:30 2h 8m 45s