Skip to content

Haddocks, docs & release scripts#41

Merged
coot merged 3 commits intomainfrom
coot/haddocks
Mar 12, 2026
Merged

Haddocks, docs & release scripts#41
coot merged 3 commits intomainfrom
coot/haddocks

Conversation

@coot
Copy link
Contributor

@coot coot commented Mar 12, 2026

List of changes

  • haddocks: included readme file
  • documentation: updated README.md & CONTRIBUTING.md files
  • Updated release scripts

Checklist

  • related issue
  • My changes generate no new warnings
  • My code follows the style guidelines of this project
  • I have commented my code, particularly in hard-to-understand areas
  • I have added tests that prove my fix is effective or that my feature works

Copy link
Contributor

@crocodile-dentist crocodile-dentist left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a few comments

Copy link
Contributor

@karknu karknu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some minor things.

Copy link
Contributor

@karknu karknu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@coot coot added this pull request to the merge queue Mar 12, 2026
@coot coot self-assigned this Mar 12, 2026
Merged via the queue into main with commit f631ef1 Mar 12, 2026
9 of 10 checks passed
@coot coot deleted the coot/haddocks branch March 12, 2026 10:55
@github-project-automation github-project-automation bot moved this from In Progress to Done in Ouroboros Network Mar 12, 2026
@coot coot temporarily deployed to github-pages March 12, 2026 10:57 — with GitHub Actions Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants