Skip to content

Bump plutus Version to 1.72.0.0 - #90

Merged
github-actions[bot] merged 1 commit into
mainfrom
bump-plutus-1.72.0.0
Oct 15, 2026
Merged

Bump plutus Version to 1.72.0.0#90
github-actions[bot] merged 1 commit into
mainfrom
bump-plutus-1.72.0.0

Bump plutus Version to 1.72.0.0

a8c9020
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar