Repository navigation

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

Commits on Oct 15, 2026
- Bump plutus Version to 1.72.0.0
  
  zeme-wana
  authored and
  github-actions[bot]
  committed
  a8c9020