Skip to content

chore: release main#2367

Open
github-actions[bot] wants to merge 2 commits intomainfrom
release-please--branches--main
Open

chore: release main#2367
github-actions[bot] wants to merge 2 commits intomainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Mar 16, 2026

🤖 I have created a release beep boop

grain: 0.7.3

0.7.3 (2026-03-28)

Features

  • compiler: Correct lexer error in malformed match (#2370) (8a8a906)

Bug Fixes

  • compiler: Correct exhaustive check on record adt with when pattern (#2355) (5e372e5)
  • stdlib: correct the behavior of float pow opperations (#2366) (126a4c4)
cli: 0.7.3

0.7.3 (2026-03-28)

Miscellaneous Chores

  • cli: Synchronize Grain versions
compiler: 0.7.3

0.7.3 (2026-03-28)

Features

  • compiler: Correct lexer error in malformed match (#2370) (8a8a906)

Bug Fixes

  • compiler: Correct exhaustive check on record adt with when pattern (#2355) (5e372e5)
  • stdlib: correct the behavior of float pow opperations (#2366) (126a4c4)
stdlib: 0.7.3

0.7.3 (2026-03-28)

Bug Fixes

  • stdlib: correct the behavior of float pow opperations (#2366) (126a4c4)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot force-pushed the release-please--branches--main branch from 39f4204 to 33bdbfe Compare March 28, 2026 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant