plutus - 115 commits this week

Home / Input Output / plutus

Insights Pull Requests

Dec 02, 5-6 AM (0)

Dec 02, 6-7 AM (0)

Dec 02, 7-8 AM (0)

Dec 02, 8-9 AM (1)

Dec 02, 9-10 AM (1)

Dec 02, 10-11 AM (3)

Dec 02, 11-12 PM (0)

Dec 02, 12-1 PM (1)

Dec 02, 1-2 PM (8)

Dec 02, 2-3 PM (1)

Dec 02, 3-4 PM (0)

Dec 02, 4-5 PM (0)

Dec 02, 5-6 PM (0)

Dec 02, 6-7 PM (0)

Dec 02, 7-8 PM (0)

Dec 02, 8-9 PM (0)

Dec 02, 9-10 PM (0)

Dec 02, 10-11 PM (0)

Dec 02, 11-12 AM (3)

Dec 03, 12-1 AM (0)

Dec 03, 1-2 AM (0)

Dec 03, 2-3 AM (0)

Dec 03, 3-4 AM (0)

Dec 03, 4-5 AM (0)

Dec 03, 5-6 AM (0)

Dec 03, 6-7 AM (0)

Dec 03, 7-8 AM (0)

Dec 03, 8-9 AM (0)

Dec 03, 9-10 AM (14)

Dec 03, 10-11 AM (5)

Dec 03, 11-12 PM (2)

Dec 03, 12-1 PM (5)

Dec 03, 1-2 PM (1)

Dec 03, 2-3 PM (4)

Dec 03, 3-4 PM (0)

Dec 03, 4-5 PM (0)

Dec 03, 5-6 PM (0)

Dec 03, 6-7 PM (0)

Dec 03, 7-8 PM (0)

Dec 03, 8-9 PM (0)

Dec 03, 9-10 PM (0)

Dec 03, 10-11 PM (2)

Dec 03, 11-12 AM (0)

Dec 04, 12-1 AM (0)

Dec 04, 1-2 AM (0)

Dec 04, 2-3 AM (2)

Dec 04, 3-4 AM (2)

Dec 04, 4-5 AM (1)

Dec 04, 5-6 AM (1)

Dec 04, 6-7 AM (1)

Dec 04, 7-8 AM (1)

Dec 04, 8-9 AM (0)

Dec 04, 9-10 AM (0)

Dec 04, 10-11 AM (0)

Dec 04, 11-12 PM (0)

Dec 04, 12-1 PM (5)

Dec 04, 1-2 PM (6)

Dec 04, 2-3 PM (0)

Dec 04, 3-4 PM (2)

Dec 04, 4-5 PM (0)

Dec 04, 5-6 PM (3)

Dec 04, 6-7 PM (0)

Dec 04, 7-8 PM (0)

Dec 04, 8-9 PM (0)

Dec 04, 9-10 PM (0)

Dec 04, 10-11 PM (1)

Dec 04, 11-12 AM (1)

Dec 05, 12-1 AM (2)

Dec 05, 1-2 AM (0)

Dec 05, 2-3 AM (2)

Dec 05, 3-4 AM (4)

Dec 05, 4-5 AM (1)

Dec 05, 5-6 AM (1)

Dec 05, 6-7 AM (2)

Dec 05, 7-8 AM (1)

Dec 05, 8-9 AM (1)

Dec 05, 9-10 AM (1)

Dec 05, 10-11 AM (0)

Dec 05, 11-12 PM (0)

Dec 05, 12-1 PM (5)

Dec 05, 1-2 PM (6)

Dec 05, 2-3 PM (0)

Dec 05, 3-4 PM (0)

Dec 05, 4-5 PM (0)

Dec 05, 5-6 PM (0)

Dec 05, 6-7 PM (0)

Dec 05, 7-8 PM (0)

Dec 05, 8-9 PM (0)

Dec 05, 9-10 PM (0)

Dec 05, 10-11 PM (1)

Dec 05, 11-12 AM (0)

Dec 06, 12-1 AM (0)

Dec 06, 1-2 AM (0)

Dec 06, 2-3 AM (0)

Dec 06, 3-4 AM (0)

Dec 06, 4-5 AM (0)

Dec 06, 5-6 AM (0)

Dec 06, 6-7 AM (0)

Dec 06, 7-8 AM (0)

Dec 06, 8-9 AM (0)

Dec 06, 9-10 AM (0)

Dec 06, 10-11 AM (0)

Dec 06, 11-12 PM (0)

Dec 06, 12-1 PM (0)

Dec 06, 1-2 PM (0)

Dec 06, 2-3 PM (0)

Dec 06, 3-4 PM (0)

Dec 06, 4-5 PM (0)

Dec 06, 5-6 PM (0)

Dec 06, 6-7 PM (0)

Dec 06, 7-8 PM (0)

Dec 06, 8-9 PM (0)

Dec 06, 9-10 PM (0)

Dec 06, 10-11 PM (0)

Dec 06, 11-12 AM (0)

Dec 07, 12-1 AM (0)

Dec 07, 1-2 AM (0)

Dec 07, 2-3 AM (0)

Dec 07, 3-4 AM (0)

Dec 07, 4-5 AM (0)

Dec 07, 5-6 AM (0)

Dec 07, 6-7 AM (0)

Dec 07, 7-8 AM (0)

Dec 07, 8-9 AM (0)

Dec 07, 9-10 AM (0)

Dec 07, 10-11 AM (0)

Dec 07, 11-12 PM (0)

Dec 07, 12-1 PM (0)

Dec 07, 1-2 PM (0)

Dec 07, 2-3 PM (0)

Dec 07, 3-4 PM (0)

Dec 07, 4-5 PM (0)

Dec 07, 5-6 PM (0)

Dec 07, 6-7 PM (0)

Dec 07, 7-8 PM (0)

Dec 07, 8-9 PM (0)

Dec 07, 9-10 PM (0)

Dec 07, 10-11 PM (0)

Dec 07, 11-12 AM (2)

Dec 08, 12-1 AM (0)

Dec 08, 1-2 AM (0)

Dec 08, 2-3 AM (0)

Dec 08, 3-4 AM (0)

Dec 08, 4-5 AM (2)

Dec 08, 5-6 AM (2)

Dec 08, 6-7 AM (1)

Dec 08, 7-8 AM (0)

Dec 08, 8-9 AM (1)

Dec 08, 9-10 AM (0)

Dec 08, 10-11 AM (0)

Dec 08, 11-12 PM (0)

Dec 08, 12-1 PM (0)

Dec 08, 1-2 PM (1)

Dec 08, 2-3 PM (0)

Dec 08, 3-4 PM (0)

Dec 08, 4-5 PM (0)

Dec 08, 5-6 PM (0)

Dec 08, 6-7 PM (0)

Dec 08, 7-8 PM (0)

Dec 08, 8-9 PM (0)

Dec 08, 9-10 PM (0)

Dec 08, 10-11 PM (1)

Dec 08, 11-12 AM (0)

Dec 09, 12-1 AM (1)

Dec 09, 1-2 AM (0)

Dec 09, 2-3 AM (0)

Dec 09, 3-4 AM (0)

Dec 09, 4-5 AM (0)

Dec 09, 5-6 AM (0)

115 commits this week Dec 02, 2025 - Dec 09, 2025

erikd · Tue, 09 Dec 25 01:49:33 +0000 · plutus

Preliminary ghc-9.14 support

Currently using ghc-9.14.0.20251128 (-rc3).

e9ea45d4 · erikd/ghc-9.14 · 9/279 ++ 43 --

erikd · Mon, 08 Dec 25 23:49:45 +0000 · plutus

cabal-project: Update index-states

7b99826f · erikd/ghc-9.14 · 1/6 ++ 11 --

kwxm · Mon, 08 Dec 25 14:35:12 +0000 · plutus

Experiment with extra field in Data

c755cbc6 · kwxm/chooseData/experiment-2 · 12/148 ++ 18 --

erikd · Mon, 08 Dec 25 09:31:22 +0000 · plutus

Preliminary ghc-9.14 support

Currently using ghc-9.14.0.20251128 (-rc3).

cb21994f · erikd/ghc-9.14 · 8/278 ++ 42 --

github · Mon, 08 Dec 25 07:07:47 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for dd37ea88baee884618ac4ee7d080e420a5709c84

c5ddddfb · gh-pages · 1/1,985 ++ 1 --

zliu41 · Mon, 08 Dec 25 06:49:44 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@dd37ea88baee884618ac4ee7d080e420a5709c84 🚀

ea22e92f · gh-pages · No file changes

erikd · Mon, 08 Dec 25 06:18:47 +0000 · plutus

cabal-project: Update index-states

93cb6c83 · erikd/ghc-9.14 · 1/6 ++ 11 --

zliu41 · Mon, 08 Dec 25 05:33:46 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@dd37ea88baee884618ac4ee7d080e420a5709c84 🚀

1a354787 · gh-pages · No file changes

bezirg · Mon, 08 Dec 25 05:18:06 +0000 · plutus

Make `Enum PlutusTx.Rational` plc compilable (#7474)

dd37ea88 · master · 2/14 ++ 12 --

dependabot[bot] · Mon, 08 Dec 25 00:02:11 +0000 · plutus

Deploy preview for PR 7477 🛫

64d1cc2a · gh-pages · 19/4,824 ++ 0 --

dependabot[bot] · Mon, 08 Dec 25 00:01:17 +0000 · plutus

chore(deps): bump JamesIves/github-pages-deploy-action

Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.7.3 to 4.7.4.
- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)
- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.7.3...v4.7.4)

---
updated-dependencies:
- dependency-name: JamesIves/github-pages-deploy-action
  dependency-version: 4.7.4
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

e96edcbc · dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.4 · 1/1 ++ 1 --