Skip to content

Actions: IntersectMBO/plutus

Actions

🚀 Manual Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
manual-benchmark.yml
1,286 workflow runs
1,286 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2770: Issue comment #7362 (comment) created by palas
1s
1s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2769: Issue comment #7362 (comment) created by palas
1s
1s
UPLC optimization pass: hoist polymorphic builtins 🚀 Manual Benchmark #2768: Issue comment #7779 (comment) created by SeungheonOh
1s
1s
Use independent seeds in makeSizedByteStrings 🚀 Manual Benchmark #2767: Issue comment #7735 (comment) created by kwxm
2s
2s
Use independent seeds in makeSizedByteStrings 🚀 Manual Benchmark #2766: Issue comment #7735 (comment) created by kwxm
1s
1s
Certifier: bundle README.md with generated Agda certificate 🚀 Manual Benchmark #2765: Issue comment #7748 (comment) created by zeme-wana
1s
1s
Certifier: bundle README.md with generated Agda certificate 🚀 Manual Benchmark #2764: Issue comment #7748 (comment) created by zliu41
1s
1s
Add detailed error message for unsupported casing on Integer 🚀 Manual Benchmark #2763: Issue comment #7766 (comment) created by Unisay
8s
8s
Certifier: bundle README.md with generated Agda certificate 🚀 Manual Benchmark #2762: Issue comment #7748 (comment) created by ana-pantilie
1s
1s
Certifier: bundle README.md with generated Agda certificate 🚀 Manual Benchmark #2761: Issue comment #7748 (comment) created by zliu41
1s
1s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2760: Issue comment #7362 (comment) created by SeungheonOh
1s
1s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2759: Issue comment #7362 (comment) created by effectfully
1s
1s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2758: Issue comment #7362 (comment) created by SeungheonOh
1h 44m 48s
1h 44m 48s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2757: Issue comment #7362 (comment) created by SeungheonOh
42m 46s
42m 46s
Certifier: bundle README.md with generated Agda certificate 🚀 Manual Benchmark #2756: Issue comment #7748 (comment) created by ana-pantilie
1s
1s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2755: Issue comment #7362 (comment) created by SeungheonOh
1s
1s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2754: Issue comment #7362 (comment) created by SeungheonOh
2h 14m 37s
2h 14m 37s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2753: Issue comment #7362 (comment) created by SeungheonOh
1h 12m 42s
1h 12m 42s
builtinsAvailableIn: revert from function to map 🚀 Manual Benchmark #2752: Issue comment #7232 (comment) created by kwxm
Skipped
Skipped
builtinsAvailableIn: try to use TH to ensure maps computed at compile time 🚀 Manual Benchmark #2751: Issue comment #7233 (comment) created by kwxm
1s
1s
Experiment with OPAQUE in builtinsIntroducedIn 🚀 Manual Benchmark #2750: Issue comment #7241 (comment) created by kwxm
Skipped
Skipped
Print optimization report in uplc optimize 🚀 Manual Benchmark #2749: Issue comment #7765 (comment) created by zliu41
1s
1s
Certifier: bundle README.md with generated Agda certificate 🚀 Manual Benchmark #2748: Issue comment #7748 (comment) created by zliu41
2s
2s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2747: Issue comment #7362 (comment) created by palas
3s
3s
Disable for wasm everything that is disabled for windows and address issues with KnownTypeAst and wasm 🚀 Manual Benchmark #2746: Issue comment #7362 (comment) created by SeungheonOh
1s
1s