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

fix(benchmark): update valueContains comment for isSubmapOfBy algorithm No Changelog Required Add this to skip the Changelog Check
#7458 opened Nov 26, 2025 by Unisay Draft
1 of 2 tasks
Add deriveEnum for Plinth
#7456 opened Nov 26, 2025 by bezirg Draft
11 tasks
les exemples plutus pour devellopeurs
#7453 opened Nov 25, 2025 by Kev2547 Loading…
chore(deps): bump rossjrw/pr-preview-action from 1.6.2 to 1.6.3 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#7449 opened Nov 24, 2025 by dependabot bot Loading…
Update cabal.project file to run multiple Ghci sessions
#7447 opened Nov 23, 2025 by Savissy Loading…
11 tasks done
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…
Add deriveEq for Plinth similar to deriving stock Eq
#7433 opened Nov 19, 2025 by bezirg Loading…
11 tasks
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…
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…
[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! Follow long discussions with comments:>50.