Skip to content

Actions: IntersectMBO/plutus

Actions

🚀 Manual Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
manual-benchmark.yml
535 workflow runs
535 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Builtins] Add pattern matching builtins 🚀 Manual Benchmark #436: Issue comment #6530 (comment) created by effectfully
October 2, 2024 19:03 3s
October 2, 2024 19:03 3s
Strip out unused constructors in PIR 🚀 Manual Benchmark #435: Issue comment #4148 (comment) created by michaelpj
October 2, 2024 16:24 2s
October 2, 2024 16:24 2s
Strip out unused constructors in PIR 🚀 Manual Benchmark #434: Issue comment #4148 (comment) created by effectfully
October 2, 2024 14:54 2s
October 2, 2024 14:54 2s
Generated Haddocks cannot link to stuff in Plutus 🚀 Manual Benchmark #433: Issue comment #4006 (comment) created by effectfully
October 2, 2024 14:47 3s
October 2, 2024 14:47 3s
Marking PlutusTx.Builtins.Internal -O is overkill 🚀 Manual Benchmark #432: Issue comment #4194 (comment) created by effectfully
October 2, 2024 14:45 3s
October 2, 2024 14:45 3s
Plutus plugin should automatically mark all functions and instance methods as inlinable 🚀 Manual Benchmark #431: Issue comment #4277 (comment) created by effectfully
October 2, 2024 14:10 2s
October 2, 2024 14:10 2s
Script context conversion is expensive 🚀 Manual Benchmark #430: Issue comment #4209 (comment) created by effectfully
October 2, 2024 14:05 3s
October 2, 2024 14:05 3s
[Epic] PIR generators 🚀 Manual Benchmark #429: Issue comment #6531 (comment) created by effectfully
October 2, 2024 13:53 2s
October 2, 2024 13:53 2s
Improve PIR Generator 🚀 Manual Benchmark #428: Issue comment #5982 (comment) created by effectfully
October 2, 2024 13:50 2s
October 2, 2024 13:50 2s
Investigate if making fixKind return a list of types is feasible and worth it 🚀 Manual Benchmark #427: Issue comment #5980 (comment) created by effectfully
October 2, 2024 13:49 2s
October 2, 2024 13:49 2s
[Epic] PIR generators 🚀 Manual Benchmark #426: Issue comment #6531 (comment) created by effectfully
October 2, 2024 13:48 2s
October 2, 2024 13:48 2s
Figure out and document the shrinking order on types in the PIR type generator 🚀 Manual Benchmark #425: Issue comment #5979 (comment) created by effectfully
October 2, 2024 13:47 2s
October 2, 2024 13:47 2s
[Epic] PIR generators 🚀 Manual Benchmark #424: Issue comment #6531 (comment) created by effectfully
October 2, 2024 13:46 1s
October 2, 2024 13:46 1s
Fix PIR term shrinking 🚀 Manual Benchmark #423: Issue comment #5981 (comment) created by effectfully
October 2, 2024 13:46 1s
October 2, 2024 13:46 1s
[Epic] PIR generators 🚀 Manual Benchmark #422: Issue comment #6531 (comment) created by effectfully
October 2, 2024 13:43 2s
October 2, 2024 13:43 2s
Optimize fresh name generation in the PIR generators 🚀 Manual Benchmark #421: Issue comment #5978 (comment) created by effectfully
October 2, 2024 13:42 3s
October 2, 2024 13:42 3s
[Epic] PIR generators 🚀 Manual Benchmark #420: Issue comment #6531 (comment) created by effectfully
October 2, 2024 13:35 2s
October 2, 2024 13:35 2s
Remove unrenaming from the PIR generators 🚀 Manual Benchmark #419: Issue comment #6084 (comment) created by effectfully
October 2, 2024 13:34 2s
October 2, 2024 13:34 2s
[Epic] PIR generators 🚀 Manual Benchmark #418: Issue comment #6531 (comment) created by effectfully
October 2, 2024 13:34 2s
October 2, 2024 13:34 2s
writeBits design is extremely inefficient for practical use 🚀 Manual Benchmark #417: Issue comment #6528 (comment) created by kozross
October 2, 2024 04:01 2s
October 2, 2024 04:01 2s
writeBits design is extremely inefficient for practical use 🚀 Manual Benchmark #416: Issue comment #6528 (comment) created by zliu41
October 2, 2024 03:47 2s
October 2, 2024 03:47 2s
writeBits design is extremely inefficient for practical use 🚀 Manual Benchmark #415: Issue comment #6528 (comment) created by colll78
October 2, 2024 03:38 2s
October 2, 2024 03:38 2s
writeBits design is extremely inefficient for practical use 🚀 Manual Benchmark #414: Issue comment #6528 (comment) created by effectfully
October 2, 2024 03:31 2s
October 2, 2024 03:31 2s
writeBits design is extremely inefficient for practical use 🚀 Manual Benchmark #413: Issue comment #6528 (comment) created by zliu41
October 2, 2024 03:29 2s
October 2, 2024 03:29 2s
[Test] [Bug] Trigger the overpruned dependency bug 🚀 Manual Benchmark #412: Issue comment #6517 (comment) created by effectfully
October 2, 2024 01:21 3s
October 2, 2024 01:21 3s