[certifier] Add hints to Haskell and Agda simplifier trace
Feb 01, 4-5 PM (6)
Feb 01, 5-6 PM (4)
Feb 01, 6-7 PM (7)
Feb 01, 7-8 PM (31)
Feb 01, 8-9 PM (19)
Feb 01, 9-10 PM (26)
Feb 01, 10-11 PM (26)
Feb 01, 11-12 AM (18)
Feb 02, 12-1 AM (10)
Feb 02, 1-2 AM (9)
Feb 02, 2-3 AM (7)
Feb 02, 3-4 AM (8)
Feb 02, 4-5 AM (0)
Feb 02, 5-6 AM (4)
Feb 02, 6-7 AM (13)
Feb 02, 7-8 AM (72)
Feb 02, 8-9 AM (29)
Feb 02, 9-10 AM (25)
Feb 02, 10-11 AM (25)
Feb 02, 11-12 PM (27)
Feb 02, 12-1 PM (46)
Feb 02, 1-2 PM (59)
Feb 02, 2-3 PM (36)
Feb 02, 3-4 PM (40)
Feb 02, 4-5 PM (30)
Feb 02, 5-6 PM (11)
Feb 02, 6-7 PM (37)
Feb 02, 7-8 PM (29)
Feb 02, 8-9 PM (21)
Feb 02, 9-10 PM (19)
Feb 02, 10-11 PM (31)
Feb 02, 11-12 AM (32)
Feb 03, 12-1 AM (9)
Feb 03, 1-2 AM (9)
Feb 03, 2-3 AM (14)
Feb 03, 3-4 AM (9)
Feb 03, 4-5 AM (1)
Feb 03, 5-6 AM (3)
Feb 03, 6-7 AM (2)
Feb 03, 7-8 AM (22)
Feb 03, 8-9 AM (63)
Feb 03, 9-10 AM (44)
Feb 03, 10-11 AM (17)
Feb 03, 11-12 PM (27)
Feb 03, 12-1 PM (34)
Feb 03, 1-2 PM (43)
Feb 03, 2-3 PM (48)
Feb 03, 3-4 PM (51)
Feb 03, 4-5 PM (69)
Feb 03, 5-6 PM (20)
Feb 03, 6-7 PM (14)
Feb 03, 7-8 PM (15)
Feb 03, 8-9 PM (14)
Feb 03, 9-10 PM (13)
Feb 03, 10-11 PM (27)
Feb 03, 11-12 AM (20)
Feb 04, 12-1 AM (14)
Feb 04, 1-2 AM (1)
Feb 04, 2-3 AM (5)
Feb 04, 3-4 AM (8)
Feb 04, 4-5 AM (3)
Feb 04, 5-6 AM (8)
Feb 04, 6-7 AM (35)
Feb 04, 7-8 AM (26)
Feb 04, 8-9 AM (56)
Feb 04, 9-10 AM (28)
Feb 04, 10-11 AM (66)
Feb 04, 11-12 PM (75)
Feb 04, 12-1 PM (47)
Feb 04, 1-2 PM (60)
Feb 04, 2-3 PM (59)
Feb 04, 3-4 PM (60)
Feb 04, 4-5 PM (99)
Feb 04, 5-6 PM (54)
Feb 04, 6-7 PM (21)
Feb 04, 7-8 PM (21)
Feb 04, 8-9 PM (11)
Feb 04, 9-10 PM (31)
Feb 04, 10-11 PM (40)
Feb 04, 11-12 AM (29)
Feb 05, 12-1 AM (7)
Feb 05, 1-2 AM (8)
Feb 05, 2-3 AM (9)
Feb 05, 3-4 AM (6)
Feb 05, 4-5 AM (8)
Feb 05, 5-6 AM (16)
Feb 05, 6-7 AM (17)
Feb 05, 7-8 AM (19)
Feb 05, 8-9 AM (28)
Feb 05, 9-10 AM (24)
Feb 05, 10-11 AM (27)
Feb 05, 11-12 PM (41)
Feb 05, 12-1 PM (71)
Feb 05, 1-2 PM (53)
Feb 05, 2-3 PM (22)
Feb 05, 3-4 PM (29)
Feb 05, 4-5 PM (29)
Feb 05, 5-6 PM (32)
Feb 05, 6-7 PM (25)
Feb 05, 7-8 PM (41)
Feb 05, 8-9 PM (36)
Feb 05, 9-10 PM (15)
Feb 05, 10-11 PM (34)
Feb 05, 11-12 AM (27)
Feb 06, 12-1 AM (20)
Feb 06, 1-2 AM (15)
Feb 06, 2-3 AM (14)
Feb 06, 3-4 AM (15)
Feb 06, 4-5 AM (5)
Feb 06, 5-6 AM (11)
Feb 06, 6-7 AM (17)
Feb 06, 7-8 AM (52)
Feb 06, 8-9 AM (91)
Feb 06, 9-10 AM (39)
Feb 06, 10-11 AM (33)
Feb 06, 11-12 PM (42)
Feb 06, 12-1 PM (76)
Feb 06, 1-2 PM (58)
Feb 06, 2-3 PM (52)
Feb 06, 3-4 PM (62)
Feb 06, 4-5 PM (61)
Feb 06, 5-6 PM (13)
Feb 06, 6-7 PM (8)
Feb 06, 7-8 PM (32)
Feb 06, 8-9 PM (12)
Feb 06, 9-10 PM (15)
Feb 06, 10-11 PM (25)
Feb 06, 11-12 AM (29)
Feb 07, 12-1 AM (6)
Feb 07, 1-2 AM (2)
Feb 07, 2-3 AM (5)
Feb 07, 3-4 AM (5)
Feb 07, 4-5 AM (5)
Feb 07, 5-6 AM (7)
Feb 07, 6-7 AM (0)
Feb 07, 7-8 AM (5)
Feb 07, 8-9 AM (7)
Feb 07, 9-10 AM (4)
Feb 07, 10-11 AM (0)
Feb 07, 11-12 PM (0)
Feb 07, 12-1 PM (2)
Feb 07, 1-2 PM (13)
Feb 07, 2-3 PM (15)
Feb 07, 3-4 PM (16)
Feb 07, 4-5 PM (8)
Feb 07, 5-6 PM (9)
Feb 07, 6-7 PM (9)
Feb 07, 7-8 PM (3)
Feb 07, 8-9 PM (1)
Feb 07, 9-10 PM (7)
Feb 07, 10-11 PM (26)
Feb 07, 11-12 AM (25)
Feb 08, 12-1 AM (1)
Feb 08, 1-2 AM (5)
Feb 08, 2-3 AM (7)
Feb 08, 3-4 AM (1)
Feb 08, 4-5 AM (0)
Feb 08, 5-6 AM (1)
Feb 08, 6-7 AM (0)
Feb 08, 7-8 AM (0)
Feb 08, 8-9 AM (9)
Feb 08, 9-10 AM (0)
Feb 08, 10-11 AM (0)
Feb 08, 11-12 PM (2)
Feb 08, 12-1 PM (2)
Feb 08, 1-2 PM (0)
Feb 08, 2-3 PM (3)
Feb 08, 3-4 PM (1)
Feb 08, 4-5 PM (1)
3,832 commits this week
Feb 01, 2026
-
Feb 08, 2026
fix(database): split sqlite reads/writes
Signed-off-by: Chris Gianelloni <[email protected]>
feat: initial mini blockfrost
Signed-off-by: Chris Gianelloni <[email protected]>
feat: block processing pipeline
Signed-off-by: Chris Gianelloni <[email protected]>
perf(database): bulk load optimizations
Signed-off-by: Chris Gianelloni <[email protected]>
![hercules-ci[bot]](https://avatars.githubusercontent.com/in/24794?v=4&s=80)
flake.lock: Update
Flake lock file updates:
• Updated input 'CHaP':
'github:input-output-hk/cardano-haskell-packages/ccbb4f121cc92823478ccc4e3906c4d02eb1bb85?narHash=sha256-bW/VR4huuZs7QxOuqOK/Cyw%2BThf/O3Si/wYpmizqb2I%3D' (2026-01-30)
→ 'github:input-output-hk/cardano-haskell-packages/969dc72b9d9842b410a5d89647621fb5f084543b?narHash=sha256-SAk7Sp9b1C7EdK333Yme2gsIX%2B%2BWfdIF2ZJ9ZX%2Bx0h0%3D' (2026-02-08)
• Updated input 'flake-parts':
'github:hercules-ci/flake-parts/80daad04eddbbf5a4d883996a73f3f542fa437ac?narHash=sha256-PVvu7OqHBGWN16zSi6tEmPwwHQ4rLPU9Plvs8/1TUBY%3D' (2026-01-11)
→ 'github:hercules-ci/flake-parts/57928607ea566b5db3ad13af0e57e921e6b12381?narHash=sha256-AnYjnFWgS49RlqX7LrC4uA%2BsCCDBj0Ry/WOJ5XWAsa0%3D' (2026-02-02)
• Updated input 'flake-parts/nixpkgs-lib':
'github:nix-community/nixpkgs.lib/2075416fcb47225d9b68ac469a5c4801a9c4dd85?narHash=sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo%3D' (2025-12-14)
→ 'github:nix-community/nixpkgs.lib/72716169fe93074c333e8d0173151350670b824c?narHash=sha256-cBEymOf4/o3FD5AZnzC3J9hLbiZ%2BQDT/KDuyHXVJOpM%3D' (2026-02-01)
• Updated input 'haskell-nix':
'github:input-output-hk/haskell.nix/32d73f4fa10363e044fb9d877543711edc32e413?narHash=sha256-1BEMQLf5H61wqu/guZUHzLTYRxne/S0aQqaiW7TTfo0%3D' (2026-02-01)
→ 'github:input-output-hk/haskell.nix/3121fa5f0672f4db65e3a96fd88e37c63aae4988?narHash=sha256-QR213iOtcoPbrK0GRLEMpphqTy6WMU9grl0fVbPZ2bk%3D' (2026-02-08)
• Updated input 'haskell-nix/hackage':
'github:input-output-hk/hackage.nix/a4de2dcf65f7e1cdfe5cf17c6abfbd26d0486cc1?narHash=sha256-dnpsT/OoYw1pFDCBCHBV3Q0SYRoEU9OCdYDJg6QX%2B%2BY%3D' (2026-02-01)
→ 'github:input-output-hk/hackage.nix/3899e10f40e2d29012b6a6f40745a8cf14b8acb7?narHash=sha256-0ptG4rVKXWfgaKAa9UNGOKIzymOxEOij31JEz0vtXgg%3D' (2026-02-08)
• Updated input 'haskell-nix/hackage-for-stackage':
'github:input-output-hk/hackage.nix/e5b41b6f88727b716d50078ec2c67dfc6b8946fd?narHash=sha256-9sGKc8ajBUEP5vBA7mK%2BGCI99OW9cgITcwpNr2qd1ts%3D' (2026-02-01)
→ 'github:input-output-hk/hackage.nix/2b64c089f6d6ffd94bfd1296a49bc8a68c05a15a?narHash=sha256-%2Btrgu6qzp5c6Tk9jq1EY4T0BvwFDdZtLPeRediadwpM%3D' (2026-02-08)
• Updated input 'haskell-nix/iserv-proxy':
'github:stable-haskell/iserv-proxy/150605195cb7183a6fb7bed82f23fedf37c6f52a?narHash=sha256-GLbl1YaohKdpzZVJFRdcI1O1oE3F3uBer4lFv3Yy0l8%3D' (2025-08-15)
→ 'github:stable-haskell/iserv-proxy/91ef7ffdeedfb141a4d69dcf9e550abe3e1160c6?narHash=sha256-x6QYupvHZM7rRpVO4AIC5gUWFprFQ59A95FPC7/Owjg%3D' (2026-02-04)
• Updated input 'haskell-nix/stackage':
'github:input-output-hk/stackage.nix/cea1fb3718c41ad56ed9edcc723a93f2fc8100f5?narHash=sha256-n2Jv7dUZOrBpMRMHrUoX4eOXNIkr0kglh7opMWKU%2BOQ%3D' (2026-01-27)
→ 'github:input-output-hk/stackage.nix/57386b5b69c2c905ebe4bdf827ffe667972db441?narHash=sha256-vRtijNL7q2tmg6JeN3B7YNTLDfG5tS9QJOoddTI7RIo%3D' (2026-02-08)
• Updated input 'iohk-nix':
'github:input-output-hk/iohk-nix/a489231f4a6749fe6a81a63af7159d75bdaff700?narHash=sha256-74YzTQnjU8zXjFsSGNTElT/JrjEJ%2BUWxXP4W/aqegKk%3D' (2026-01-07)
→ 'github:input-output-hk/iohk-nix/0ce7cc21b9a4cfde41871ef486d01a8fafbf9627?narHash=sha256-jHgw8KL0/TFGY2aVwxhD0DeDq7sl5Ti7jAp8T3RLNb0%3D' (2026-02-02)
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/02a33ae79fadd05dd2c861971e75d4cd33aa42be?narHash=sha256-dIW3mPUT/vSmOHsBLglWxjXTOsMNLg96RX%2BJlAZ1yig%3D' (2026-02-01)
→ 'github:NixOS/nixpkgs/f976f73e36b154d171ad5957d22324c19fffa6cf?narHash=sha256-YzhbVKmHkZBGLwCB%2BPORFbxYQD7TMSmHt/336Gtln3Y%3D' (2026-02-08)
feat: block processing pipeline
Signed-off-by: Chris Gianelloni <[email protected]>
updated the helper, steps
fix: type issues and formating
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Update from 5477fa71258c0630c9a6aa068e940dd610d6ff42
Added cardano-slotting-0.2.1.0
From https://github.com/IntersectMBO/cardano-base at a02ed49194501620f03b2f868aabd5a48ebde937
Added cardano-binary-1.8.0.0
From https://github.com/IntersectMBO/cardano-base at a02ed49194501620f03b2f868aabd5a48ebde937
Fix version for cardano-binary and changelog
Add changelogs as part of postrelease process
Update changelogs post-release
Added cardano-ledger-binary-1.7.1.0 (#1240)
* Added cardano-ledger-binary-1.7.1.0 From https://github.com/IntersectMBO/cardano-ledger at af123e2cb16a615dd4c4ffa35dc6a35727d30173 * Deprecate `cardano-binary-1.7.3.0`
Remove use of `Cardano.Ledger.Babbage.body` in favour of `bodyTxL`. T… (#2480)
…his is deprecated in newer versions of cardano-ledger-api.
chore: mithril-client 0.12.38
chore: cardano-node 10.5.4
feat: block processing pipeline
Signed-off-by: Chris Gianelloni <[email protected]>
perf(database): bulk load optimizations
Signed-off-by: Chris Gianelloni <[email protected]>