Home /
Input Output /
plutus
Apr 24, 1-2 AM (0)
Apr 24, 2-3 AM (0)
Apr 24, 3-4 AM (0)
Apr 24, 4-5 AM (0)
Apr 24, 5-6 AM (0)
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (3)
Apr 24, 10-11 AM (1)
Apr 24, 11-12 PM (4)
Apr 24, 12-1 PM (6)
Apr 24, 1-2 PM (5)
Apr 24, 2-3 PM (1)
Apr 24, 3-4 PM (4)
Apr 24, 4-5 PM (0)
Apr 24, 5-6 PM (1)
Apr 24, 6-7 PM (0)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (0)
Apr 24, 9-10 PM (0)
Apr 24, 10-11 PM (0)
Apr 24, 11-12 AM (0)
Apr 25, 12-1 AM (0)
Apr 25, 1-2 AM (0)
Apr 25, 2-3 AM (0)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (0)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (0)
Apr 25, 10-11 AM (0)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (0)
Apr 25, 1-2 PM (0)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (0)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (0)
Apr 25, 7-8 PM (0)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (0)
Apr 25, 10-11 PM (0)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (0)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (0)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (1)
Apr 26, 11-12 AM (1)
Apr 27, 12-1 AM (0)
Apr 27, 1-2 AM (1)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (0)
Apr 27, 4-5 AM (0)
Apr 27, 5-6 AM (0)
Apr 27, 6-7 AM (0)
Apr 27, 7-8 AM (0)
Apr 27, 8-9 AM (2)
Apr 27, 9-10 AM (0)
Apr 27, 10-11 AM (2)
Apr 27, 11-12 PM (0)
Apr 27, 12-1 PM (0)
Apr 27, 1-2 PM (0)
Apr 27, 2-3 PM (0)
Apr 27, 3-4 PM (0)
Apr 27, 4-5 PM (1)
Apr 27, 5-6 PM (0)
Apr 27, 6-7 PM (1)
Apr 27, 7-8 PM (4)
Apr 27, 8-9 PM (0)
Apr 27, 9-10 PM (0)
Apr 27, 10-11 PM (0)
Apr 27, 11-12 AM (0)
Apr 28, 12-1 AM (2)
Apr 28, 1-2 AM (0)
Apr 28, 2-3 AM (0)
Apr 28, 3-4 AM (0)
Apr 28, 4-5 AM (0)
Apr 28, 5-6 AM (0)
Apr 28, 6-7 AM (0)
Apr 28, 7-8 AM (0)
Apr 28, 8-9 AM (0)
Apr 28, 9-10 AM (0)
Apr 28, 10-11 AM (0)
Apr 28, 11-12 PM (0)
Apr 28, 12-1 PM (1)
Apr 28, 1-2 PM (1)
Apr 28, 2-3 PM (0)
Apr 28, 3-4 PM (0)
Apr 28, 4-5 PM (0)
Apr 28, 5-6 PM (10)
Apr 28, 6-7 PM (0)
Apr 28, 7-8 PM (0)
Apr 28, 8-9 PM (2)
Apr 28, 9-10 PM (0)
Apr 28, 10-11 PM (3)
Apr 28, 11-12 AM (0)
Apr 29, 12-1 AM (1)
Apr 29, 1-2 AM (0)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (0)
Apr 29, 5-6 AM (0)
Apr 29, 6-7 AM (2)
Apr 29, 7-8 AM (1)
Apr 29, 8-9 AM (0)
Apr 29, 9-10 AM (1)
Apr 29, 10-11 AM (1)
Apr 29, 11-12 PM (6)
Apr 29, 12-1 PM (2)
Apr 29, 1-2 PM (0)
Apr 29, 2-3 PM (1)
Apr 29, 3-4 PM (0)
Apr 29, 4-5 PM (0)
Apr 29, 5-6 PM (0)
Apr 29, 6-7 PM (3)
Apr 29, 7-8 PM (1)
Apr 29, 8-9 PM (1)
Apr 29, 9-10 PM (0)
Apr 29, 10-11 PM (0)
Apr 29, 11-12 AM (0)
Apr 30, 12-1 AM (0)
Apr 30, 1-2 AM (1)
Apr 30, 2-3 AM (0)
Apr 30, 3-4 AM (0)
Apr 30, 4-5 AM (0)
Apr 30, 5-6 AM (0)
Apr 30, 6-7 AM (0)
Apr 30, 7-8 AM (0)
Apr 30, 8-9 AM (0)
Apr 30, 9-10 AM (1)
Apr 30, 10-11 AM (0)
Apr 30, 11-12 PM (4)
Apr 30, 12-1 PM (7)
Apr 30, 1-2 PM (2)
Apr 30, 2-3 PM (0)
Apr 30, 3-4 PM (3)
Apr 30, 4-5 PM (3)
Apr 30, 5-6 PM (3)
Apr 30, 6-7 PM (0)
Apr 30, 7-8 PM (4)
Apr 30, 8-9 PM (1)
Apr 30, 9-10 PM (2)
Apr 30, 10-11 PM (1)
Apr 30, 11-12 AM (0)
May 01, 12-1 AM (0)
May 01, 1-2 AM (1)
110 commits this week
Apr 24, 2026
-
May 01, 2026
Deploying to gh-pages from @ IntersectMBO/plutus@4cd40a14e36431019414fad519c1a6d426a55509 🚀
Add json for semvar D and E plus sync up related code
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 4cd40a14e36431019414fad519c1a6d426a55509
Deploying to gh-pages from @ IntersectMBO/plutus@4cd40a14e36431019414fad519c1a6d426a55509 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@4cd40a14e36431019414fad519c1a6d426a55509 🚀
Merge remote-tracking branch 'origin/master' into ana/constant-folding-uplc
drop x86_64-darwin hydra jobs
Nixpkgs expects to drop support for intel macs in 26.11.
Refactor AgdaUnparse to use prettyprinter (#7749)
* Refactor AgdaUnparse to use prettyprinter * Simplify AgdaUnparse instance
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 442b0ad076d5bb586304b1512c610935f19be12e
update default universe plumbing and tidy builtin handling
Simplify AgdaUnparse instance
Deploying to gh-pages from @ IntersectMBO/plutus@442b0ad076d5bb586304b1512c610935f19be12e 🚀
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for e3eb4c76ea20cf4f90231a25bdfaab998346b406
Deploying to gh-pages from @ IntersectMBO/plutus@442b0ad076d5bb586304b1512c610935f19be12e 🚀
Update certifier hint golden files
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 79deffdcedee09aef522d401b245c7b421a00f45
Deploying to gh-pages from @ IntersectMBO/plutus@442b0ad076d5bb586304b1512c610935f19be12e 🚀
Bump postcss to 8.5.10 and uuid to 14.0.0 (#7751)
Certifier for LetFloatOut pass