Skip to content

chore(gitignore): ignore dune-generated *.install manifests#306

Merged
hyperpolymath merged 1 commit into
mainfrom
gitignore-install-artefact
May 20, 2026
Merged

chore(gitignore): ignore dune-generated *.install manifests#306
hyperpolymath merged 1 commit into
mainfrom
gitignore-install-artefact

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

Summary

  • affinescript.install (and any sibling *.install for future opam packages declared in dune-project) is regenerated by dune on every build. Was showing up as untracked across recent sessions, one stray git add . away from being committed.
  • Add *.install to .gitignore — standard pattern; same shape as the target/ glob fix (chore(gitignore): match nested target/ for all crates, not just the repo root #296) so any future nested opam package's .install file is also covered.

Verification

$ git check-ignore affinescript.install
affinescript.install
$ git status --short | grep '.install'
(no output)

🤖 Generated with Claude Code

`affinescript.install` (and any sibling `*.install` files for future
opam packages declared in `dune-project`) is regenerated by dune on
every `dune build`.  It was showing up as untracked across recent
sessions, one stray `git add .` away from being committed alongside
the regular source changes.

`*.install` is the standard pattern: dune emits one per `(package ...)`
declaration in `dune-project`, and they're consumed only by opam during
install — not durable repo content.  Same shape as the previous
`target/` glob fix (#296) — match anywhere, not just the repo root, so
any future nested opam package's `.install` file is covered too.

Verified post-fix: `git check-ignore affinescript.install` returns the
path; `git status` no longer lists it as untracked.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 42 issues detected

Severity Count
🔴 Critical 13
🟠 High 17
🟡 Medium 12

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
    "type": "banned",
    "file": "AI.a2ml",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Superseded by 0-AI-MANIFEST.a2ml",
    "type": "banned",
    "file": "AI.djot",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Action actions/checkout@v4 needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action denoland/setup-deno@v2 needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/example/smoke_driver.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/cli.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath merged commit ade556f into main May 20, 2026
16 checks passed
@hyperpolymath hyperpolymath deleted the gitignore-install-artefact branch May 20, 2026 08:30
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