Skip to content

new one due to updated branch - #22325

Open
Budalebah wants to merge 5 commits into
digital-asset:mainfrom
Budalebah:main
Open

new one due to updated branch #22325
Budalebah wants to merge 5 commits into
digital-asset:mainfrom
Budalebah:main

Conversation

@Budalebah

Copy link
Copy Markdown

Fix 'recieve' to 'receive' in Daml-Script.rst and daml-script-hoogle.txt
Fix 'occurence' to 'occurrence' in DA-NonEmpty.rst and daml-base-hoogle.txt
These corrections improve the quality and professionalism of the documentation.

Budalebah and others added 3 commits October 29, 2025 13:43
- Fix 'recieve' to 'receive' in Submit.daml and Daml-Script.rst
- Fix 'occurence' to 'occurrence' in NonEmpty.daml, Version.hs, Config.hs and DA-NonEmpty.rst

Note: hoogle.txt files are auto-generated and will be updated automatically when the project is rebuilt.
@Budalebah Budalebah changed the title new one due the updated branch new one due to updated branch Nov 6, 2025
@paulbrauner-da

Copy link
Copy Markdown
Contributor

/azp run

@azure-pipelines

Copy link
Copy Markdown
Contributor
Azure Pipelines successfully started running 1 pipeline(s).

@paulbrauner-da

Copy link
Copy Markdown
Contributor

/azp run

@azure-pipelines

Copy link
Copy Markdown
Contributor
Azure Pipelines successfully started running 1 pipeline(s).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants