Skip to content

Merge master and resolve docs conflicts - #42

Open
eisbaw wants to merge 1 commit into
masterfrom
9piq6q-codex/add-sphinx-documentation-and-ci-job
Open

Merge master and resolve docs conflicts#42
eisbaw wants to merge 1 commit into
masterfrom
9piq6q-codex/add-sphinx-documentation-and-ci-job

Conversation

@eisbaw

@eisbaw eisbaw commented Jun 14, 2025

Copy link
Copy Markdown
Contributor

Summary

  • merge latest master and resolve conflicts
  • retain docs build job and Sphinx dependencies
  • add docs job to GitLab CI to match GitHub workflow

Testing

  • nix-shell shell.nix --pure --run 'just unittest'
  • nix-shell --run 'just lint'

https://chatgpt.com/codex/tasks/task_e_684a0c7702b4832ba3acb8752ea7b1f8

@sonarqubecloud

Copy link
Copy Markdown

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant