Oliver Calder cb42f5d9e8 fix(snap): use openshell-prover instead of openshell.prover (#4835) ...

The alias `openshell-prover` has been granted for OpenShell:

https://forum.snapcraft.io/t/alias-request-for-openshell/53658

Thus, we can remove guidance differentiating `openshell.prover` for the
snap from `openshell-prover` for other packaging formats. It is still
worth noting that installing a locally-built snap directly, rather than
from the store, means there is no alias.

Signed-off-by: Oliver Calder <oliver.calder@canonical.com>

2026-10-22 17:12:02 +00:00

..

actions

ci: update setup-buildx action to v4.4.1 (#4741)

2026-10-20 13:45:10 +00:00

codeql

ci(codeql): run nightly scans on main (#3007)

2026-08-28 13:26:39 +00:00

DISCUSSION_TEMPLATE

ci(vouch): close approved request discussions (#2929)

2026-08-26 06:31:42 +00:00

ISSUE_TEMPLATE

chore(agents): simplify contributor instructions and workflows (#3987)

2026-10-01 16:20:35 +00:00

prompts

ci(compatibility): review driver-facing executable flags (#4644)

2026-10-21 00:02:55 +00:00

workflows

fix(snap): use openshell-prover instead of openshell.prover (#4835)

2026-10-22 17:12:02 +00:00

actionlint-matcher.json

ci(security): add informational security checks (#2930)

2026-08-27 13:32:16 +00:00

actionlint-sarif-template.txt

ci(security): add informational security checks (#2930)

2026-08-27 13:32:16 +00:00

actionlint.yml

ci(security): add informational security checks (#2930)

2026-08-27 13:32:16 +00:00

CODEOWNERS

ci: require accepted issues for community pull requests (#4340)

2026-10-13 11:44:44 +00:00

copy-pr-bot.yaml

fix(ci): restore repository permission vetters (#3875)

2026-09-29 18:05:21 +00:00

dependabot.yml

chore(ci): enable Dependabot for GitHub Actions with 48h cooldown (#1188)

2026-05-06 09:16:14 -07:00

PULL_REQUEST_TEMPLATE.md

ci(release): generate PR-based stable release notes (#4654)

2026-10-19 21:27:58 +00:00

VOUCHED.td

chore: add vouch system for first-time contributors (#375)

2026-03-16 15:06:50 -07:00

zizmor.yml

ci: require accepted issues for community pull requests (#4340)

2026-10-13 11:44:44 +00:00