Skip to content

chore: updated docs and ci#90

Merged
pedroafmonteiro merged 5 commits intomainfrom
chore/update-docs-and-ci
Feb 15, 2026
Merged

chore: updated docs and ci#90
pedroafmonteiro merged 5 commits intomainfrom
chore/update-docs-and-ci

Conversation

@pedroafmonteiro
Copy link
Member

No description provided.

Copilot AI review requested due to automatic review settings February 15, 2026 15:10
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR consolidates CI workflows, improves Docker configuration, and updates documentation to better reflect the current state of the NIddle project.

Changes:

  • Consolidated coverage.yml workflow into checks.yml, reducing workflow duplication
  • Improved Docker environment variable handling by using --env-file instead of copying .env into the image
  • Updated README to reflect project's current focus on static data management, added API documentation and Nix support sections, and reorganized Docker instructions

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 3 comments.

Show a summary per file
File Description
.github/workflows/coverage.yml Removed standalone coverage workflow as functionality merged into checks.yml
.github/workflows/checks.yml Added coverage collection and Codecov upload, added descriptive job names, renamed workflow from "CI" to "Pull Request Checks"
Dockerfile Removed copying of .env.docker into image, following better security practices
run_image.sh Added --env-file flag to inject environment variables at runtime
README.md Updated project description, added API docs and Nix sections, reorganized Docker instructions, expanded Available Scripts section

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

pedroafmonteiro and others added 2 commits February 15, 2026 15:18
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@pedroafmonteiro pedroafmonteiro merged commit 940dd2d into main Feb 15, 2026
6 checks passed
@pedroafmonteiro pedroafmonteiro deleted the chore/update-docs-and-ci branch February 15, 2026 15:21
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.

1 participant