Commit Graph

5 Commits

Author SHA1 Message Date
Jukka Aho 0182fc7566 docs(git): add tracked AI commit workflow prompt
Introduce `.github/prompts/commit.prompt.md` as the contributor-facing description
of how assistants should stage, review, propose, and record commits.

- Document defaults: one file per commit, rare justified pairs, no blanket `git add`.
- Describe optional `.githooks/pre-commit` cap at two staged paths.
- Require reading the full `git diff --staged` (no truncation) before messaging.
- Spell out approval-before-commit flow and Conventional Commits subject lines.
- Scale the body to the patch: short summaries for small edits; large or
  multi-concern diffs need grouped, substantive bullets so history stays readable.
- Keep checklist items aligned with that depth expectation.
2026-05-09 16:44:31 +03:00
Jukka Aho 68d70c8241 feat(.github): add SiteDocs.yml
.github/workflows/SiteDocs.yml | 63 ++++++++++++++++++++++++++++++++++++++++++  1 file changed, 63 insertions(+)
2026-05-09 16:30:22 +03:00
Jukka Aho 6072bf6bb7 refactor(.github): update CI.yml
.github/workflows/CI.yml | 67 ++++++++++++++++++++++++++++++++++++++++++++++++  1 file changed, 67 insertions(+)
2026-05-09 16:30:22 +03:00
Jukka Aho 7caf02611d ci(docs): Scope Documentation workflow and verify quickstart
Restrict pull_request runs to doc-, source-, and dependency-touching paths.
Run scripts/verify_docs_quickstart.jl before docs/make.jl so the homepage
snippet cannot drift without failing CI.
2026-05-09 16:19:42 +03:00
Jukka Aho 008d615c62 ci: Add GitHub Actions workflows and fix test exports
Infrastructure improvements:

1. GitHub Actions CI workflow:
   - Test on Julia 1.10 (LTS) and latest stable
   - Ubuntu Linux runner
   - Code coverage via Codecov

2. Documentation build workflow:
   - Builds on push to master/main and PRs
   - Uses Documenter.jl with GitHub Pages deployment

3. Fix missing exports for tests:
   - Add Statistics to test dependencies

Tests still have API mismatches (49 failures) but infrastructure is now
2025-11-09 01:35:00 +02:00