Skip to content

Actions: IntersectMBO/cardano-ledger

Ledger Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
575 workflow runs
575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4843 from IntersectMBO/nm/release-directory-list
Ledger Benchmarks #1285: Commit 5fda7bb pushed by neilmayhew
January 22, 2025 02:32 3m 34s master
January 22, 2025 02:32 3m 34s
Merge pull request #4841 from IntersectMBO/lehins/remove-usage-of-car…
Ledger Benchmarks #1284: Commit 32106b9 pushed by lehins
January 22, 2025 00:18 3m 22s master
January 22, 2025 00:18 3m 22s
Merge pull request #4845 from IntersectMBO/nm/fix-haddock-generation
Ledger Benchmarks #1283: Commit 97266f3 pushed by neilmayhew
January 21, 2025 20:22 3m 43s master
January 21, 2025 20:22 3m 43s
Bumped spec
Ledger Benchmarks #1282: Commit 85c9912 pushed by Soupstraw
January 21, 2025 14:34 3m 31s master
January 21, 2025 14:34 3m 31s
Added Constrained.SumList.hs to repo (#4827)
Ledger Benchmarks #1281: Commit 688430f pushed by TimSheard
January 20, 2025 16:09 3m 27s master
January 20, 2025 16:09 3m 27s
Removed hash size proofs
Ledger Benchmarks #1280: Commit 7683b73 pushed by Soupstraw
January 14, 2025 13:45 3m 36s master
January 14, 2025 13:45 3m 36s
Merge pull request #4811 from IntersectMBO/lehins/use-mempack-newest
Ledger Benchmarks #1279: Commit ff526df pushed by lehins
January 14, 2025 07:31 3m 18s master
January 14, 2025 07:31 3m 18s
Merge pull request #4833 from IntersectMBO/erikd/index-state
Ledger Benchmarks #1278: Commit 4ee11aa pushed by lehins
January 14, 2025 04:41 3m 33s master
January 14, 2025 04:41 3m 33s
Merge pull request #4831 from IntersectMBO/lehins/cleanup-pointer-ser…
Ledger Benchmarks #1277: Commit 4b2c195 pushed by lehins
January 13, 2025 21:54 3m 29s master
January 13, 2025 21:54 3m 29s
Merge pull request #4828 from IntersectMBO/td/fix-committee-cc-cddl
Ledger Benchmarks #1276: Commit 7573580 pushed by lehins
January 10, 2025 21:26 3m 42s master
January 10, 2025 21:26 3m 42s
Improve error handling in constrained genFromSpec
Ledger Benchmarks #1275: Commit 10687c7 pushed by teodanciu
January 10, 2025 14:39 3m 31s master
January 10, 2025 14:39 3m 31s
Merge pull request #4821 from IntersectMBO/aniketd/conformance
Ledger Benchmarks #1274: Commit d9e6924 pushed by aniketd
January 10, 2025 09:35 3m 42s master
January 10, 2025 09:35 3m 42s
Merge pull request #4825 from IntersectMBO/dependabot/pip/doc/jinja2-…
Ledger Benchmarks #1273: Commit 5e1ed75 pushed by lehins
January 9, 2025 22:44 3m 22s master
January 9, 2025 22:44 3m 22s
Merge pull request #4824 from IntersectMBO/td/fix-gen-hie
Ledger Benchmarks #1272: Commit 8f76fba pushed by lehins
January 9, 2025 20:30 3m 31s master
January 9, 2025 20:30 3m 31s
Ledger Benchmarks
Ledger Benchmarks #1271: by Soupstraw
January 7, 2025 14:34 3m 32s master
January 7, 2025 14:34 3m 32s
Included the hash in plutus script translation
Ledger Benchmarks #1270: Commit 221eaa8 pushed by Soupstraw
January 3, 2025 12:11 3m 33s master
January 3, 2025 12:11 3m 33s
Merge pull request #4813 from IntersectMBO/lehins/sanitize-non-electe…
Ledger Benchmarks #1269: Commit 0d20d71 pushed by neilmayhew
January 2, 2025 17:16 3m 29s master
January 2, 2025 17:16 3m 29s
Merge pull request #4810 from IntersectMBO/lehins/deprecate-auxiliary…
Ledger Benchmarks #1268: Commit ea1d436 pushed by lehins
December 20, 2024 22:55 3m 33s master
December 20, 2024 22:55 3m 33s
Merge pull request #4812 from IntersectMBO/td/split-conwayspec-in-con…
Ledger Benchmarks #1267: Commit a5c4074 pushed by lehins
December 20, 2024 20:43 20m 11s master
December 20, 2024 20:43 20m 11s
Merge pull request #4800 from IntersectMBO/lehins/move-crypto-class
Ledger Benchmarks #1266: Commit 6edd909 pushed by lehins
December 20, 2024 05:39 20m 17s master
December 20, 2024 05:39 20m 17s
Merge pull request #4809 from IntersectMBO/td/fix-gha-srp-check
Ledger Benchmarks #1265: Commit c66a1f6 pushed by teodanciu
December 19, 2024 17:35 3m 29s master
December 19, 2024 17:35 3m 29s
Tools for constrained generation of types that need witnessing (#4732)
Ledger Benchmarks #1264: Commit d8b7a8c pushed by TimSheard
December 18, 2024 15:43 18m 14s master
December 18, 2024 15:43 18m 14s
Constrained generators for EPOCH rule (#4740)
Ledger Benchmarks #1263: Commit 1900f29 pushed by MaximilianAlgehed
December 17, 2024 18:55 3m 35s master
December 17, 2024 18:55 3m 35s
Revert "Undid ImpredicativeTypes because of GHC8"
Ledger Benchmarks #1262: Commit 65ef348 pushed by Soupstraw
December 16, 2024 12:29 3m 27s master
December 16, 2024 12:29 3m 27s
Merge pull request #4788 from IntersectMBO/lehins/get-rid-of-crypto-p…
Ledger Benchmarks #1261: Commit 8855c23 pushed by lehins
December 15, 2024 02:03 3m 35s master
December 15, 2024 02:03 3m 35s