Skip to content

Actions: IntersectMBO/plutus

Actions

🩺 Longitudinal Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
534 workflow runs
534 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update GHC versions in CONTRIBUTING.adoc (#7615)
🩺 Longitudinal Benchmark #1446: Commit 704c30d pushed by zliu41
1h 47m 11s master
use timesInt2# in satint (#7611)
🩺 Longitudinal Benchmark #1445: Commit 7a7c99f pushed by zliu41
1h 47m 0s master
Property tests for SatInt (#7610)
🩺 Longitudinal Benchmark #1444: Commit c59357b pushed by zliu41
1h 47m 24s master
Add deriveEq for Plinth similar to deriving stock Eq (#7433)
🩺 Longitudinal Benchmark #1443: Commit eb17481 pushed by Unisay
1h 39m 56s master
Support ghc 9.14 (#7335)
🩺 Longitudinal Benchmark #1442: Commit a6201d1 pushed by erikd
1h 53m 31s master
Wrap integer/string builtins in BuiltinResult (#7609)
🩺 Longitudinal Benchmark #1441: Commit f659d22 pushed by kwxm
1h 47m 15s master
Simplify Agda formalization of purity (#7607)
🩺 Longitudinal Benchmark #1440: Commit e0f9b7f pushed by zliu41
1h 47m 30s master
Additional property tests for bitwise (#7605)
🩺 Longitudinal Benchmark #1438: Commit dbaa132 pushed by zliu41
1h 46m 59s master
plutus-benchmark.cabal: Add missing ghc-version-support (#7601)
🩺 Longitudinal Benchmark #1437: Commit 0eb5192 pushed by zliu41
2h 7m 54s master
[certifier] Add a five script benchmark (#7599)
🩺 Longitudinal Benchmark #1436: Commit d535204 pushed by zliu41
1h 47m 17s master
Fix out of date comment (#7595)
🩺 Longitudinal Benchmark #1435: Commit 16bd9e2 pushed by basetunnel
1h 47m 22s master
[certifier] Add stub for inline certification (#7593)
🩺 Longitudinal Benchmark #1434: Commit 7e72158 pushed by zliu41
2h 4m 18s master
[certifier] Add AgdaUnparse instances for certifier hints (#7592)
🩺 Longitudinal Benchmark #1433: Commit 670e913 pushed by zliu41
1h 47m 23s master
Minor flat decoder improvements and cleanup (#7589)
🩺 Longitudinal Benchmark #1432: Commit a9c3b93 pushed by zliu41
1h 47m 9s master
Use isValidUtf8 for decoding UTF8 (#7588)
🩺 Longitudinal Benchmark #1431: Commit 93018d1 pushed by zliu41
1h 47m 21s master
Add semvar d ane e for pv11+ (#7585)
🩺 Longitudinal Benchmark #1430: Commit 3905bfd pushed by zliu41
1h 47m 3s master
Remove superfluous tests (#7587)
🩺 Longitudinal Benchmark #1429: Commit 4e25a44 pushed by zliu41
1h 47m 10s master
Use cardano-crypto-class-2.3.* (#7586)
🩺 Longitudinal Benchmark #1428: Commit 9b47adb pushed by geo2a
1h 47m 37s master
Spread workflows across all GH runners (#7577)
🩺 Longitudinal Benchmark #1427: Commit 7c1a7a7 pushed by zeme-wana
1h 48m 4s master
Enable plinth-tx-plugin to be built with ghc912 (#7558)
🩺 Longitudinal Benchmark #1425: Commit ea541ef pushed by zeme-wana
1h 47m 26s master