Skip to content

Pull requests: IntersectMBO/plutus

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

chore(deps): bump actions/checkout from 4.3.0 to 6.0.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#7440 opened Nov 21, 2025 by dependabot bot Loading…
Support mkNil for any builtin types No Changelog Required Add this to skip the Changelog Check
#7438 opened Nov 20, 2025 by SeungheonOh Loading…
Add deriveEq for Plinth similar to deriving stock Eq
#7433 opened Nov 19, 2025 by bezirg Draft
11 tasks
Make the Tx.&& and Tx.|| short-circuit also in Haskell
#7432 opened Nov 19, 2025 by bezirg Loading…
Add CaseApply optimization optimization
#7421 opened Nov 15, 2025 by SeungheonOh Loading…
CEK rules for constr and case
#7419 opened Nov 14, 2025 by basetunnel Loading…
Apply fourmolu to the codebase
#7417 opened Nov 13, 2025 by zeme-wana Loading…
chore(deps): bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#7403 opened Nov 5, 2025 by dependabot bot Loading…
SOP vs Scott bench Do not merge No Changelog Required Add this to skip the Changelog Check
#7400 opened Nov 4, 2025 by SeungheonOh Loading…
[DON'T MERGE] UPLC 2025 certifier demo
#7393 opened Oct 23, 2025 by ana-pantilie Draft
11 tasks
Update SECURITY.md
#7392 opened Oct 22, 2025 by ThatGuyLLC Loading…
11 tasks
A QoL improvement for cabal test plutus-core --test-options=--accept No Changelog Required Add this to skip the Changelog Check
#7377 opened Oct 1, 2025 by bezirg Loading…
11 tasks
Improve Workflow Job Names
#7364 opened Sep 25, 2025 by zeme-wana Loading…
Disable for wasm everything that is disabled for windows No Changelog Required Add this to skip the Changelog Check
#7362 opened Sep 24, 2025 by palas Loading…
11 tasks done
[Experiment] Let/Bind EXPERIMENT Experiments that we probably don't want to merge
#7351 opened Sep 19, 2025 by SeungheonOh Loading…
ProTip! Filter pull requests by the default branch with base:master.