Skip to content

chore: establish repository governance - #9

Merged
P4suta merged 2 commits into
mainfrom
chore/repository-governance
Aug 25, 2026
Merged

P4suta merged 2 commits into
mainfrom
chore/repository-governance

Conversation

@P4suta

@P4suta P4suta commented Aug 25, 2026

Copy link
Copy Markdown
Owner

Summary

  • add contribution, support, security, governance, conduct, changelog, CODEOWNERS, issue forms, and a pull request template
  • group Dependabot updates, add cooldowns, and keep major upgrades deliberate
  • enable CI concurrency, timeouts, non-persistent checkout credentials, and immutable Action SHA pins
  • skip the fixed-runner benchmark until its repository variable is explicitly enabled
  • fix the latest stable Clippy lint and install the OCaml test dependency in CI

Repository safety

  • Zizmor pedantic audit: no findings
  • Gitleaks and TruffleHog: no leaks
  • all commits are SSH signed
  • release workflow remains tag-only; no release or package publication was performed

Verification

  • cargo fmt --check
  • cargo clippy --workspace --all-targets --locked -- -D warnings
  • cargo test --workspace --all-targets --locked (83 passed)
  • OCaml tests and opam lint
  • Rust/OCaml differential suite (94 fixtures)
  • actionlint, schema checks, package file-list checks, and embedded-spec checks

@P4suta
P4suta merged commit bf470ce into main Aug 25, 2026
7 checks passed
@P4suta
P4suta deleted the chore/repository-governance branch August 25, 2026 12:04
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