Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ and no warnings.

CI checks every source module, semantic rejection controls and pinned
canonical Echo correspondence. Proof and security gates must pass before
merge; see [docs/ci-safety.adoc](docs/ci-safety.adoc). Run the local
merge; see [docs/ci-safety.adoc](../docs/ci-safety.adoc). Run the local
checks before opening a PR.

’’’’’
Expand Down
2 changes: 1 addition & 1 deletion GOVERNANCE.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -218,7 +218,7 @@ change is itself a structural decision and is recorded in `CHANGELOG.md`.

* link:readme.adoc[readme] — what the prototype is and how to type-check it
* link:explainme.adoc[explainme] — the longer-form explanation
* link:CONTRIBUTING.md[Contributing]
* link:.github/CONTRIBUTING.md[Contributing]
* link:CODE_OF_CONDUCT.md[Code of Conduct]
* link:SECURITY.md[Security policy]
* link:AUDIT.adoc[Audit] — build, CI, and licence status
Expand Down
2 changes: 1 addition & 1 deletion MAINTAINERS.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,6 @@ maintainer at mailto:j.d.a.jewell@open.ac.uk[j.d.a.jewell@open.ac.uk].

* link:readme.adoc[Readme]
* link:explainme.adoc[Explainme]
* link:CONTRIBUTING.md[Contributing Guide]
* link:.github/CONTRIBUTING.md[Contributing Guide]
* link:CODE_OF_CONDUCT.md[Code of Conduct]
* link:AUDIT.adoc[Audit] — CI is not enabled; see the audit for rationale.
Loading