add-pyrefly-version

Add support for an explicit, loosely formatted, or latest Pyrefly release in this repository by resolving its canonical GitHub tag, fetching its four supported platform SHA-256 digests, and updating pyrefly/private/versions.bzl. Use when asked to support, register, bump, or add a Pyrefly version.

Jump to install

Repository: canva-public/pyrefly.bzl
Last source activity: August 24, 2026 at 06:04
Detected SKILL.md language: English
Stars: 5
Forks: 0

Install options

The review-first prompt is selected by default. You can switch to a direct command or download a local copy.

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

A direct command skips the review prompt. Inspect the source before running it.

npx skills add https://github.com/canva-public/pyrefly.bzl --skill add-pyrefly-version

The command stays on one line. Scroll horizontally to inspect it before copying.

Prefer a local copy? Download the files currently available to SkillsMP.

Review the source files

Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.

File Explorer

3 files

SKILL.md

Source instructions · Read-only preview

Back to search Back to installation

Add Pyrefly Version

Read AGENTS.md and CONTRIBUTING.md, then inspect git status to preserve unrelated changes.

Resolve the user's request to a canonical upstream release tag before fetching checksums.

Pyrefly tags use these forms:

Stable release: MAJOR.MINOR.PATCH, for example 1.2.0.
Development release: MAJOR.MINOR.PATCH-dev.N, for example 1.3.0-dev.2.
Never retain a leading v.

Normalise common inputs such as v1.3.0-dev.2, 1.3.0.dev2, and 1.3.0-dev2 to 1.3.0-dev.2. Change only the spelling and punctuation; never infer different numeric components.

If the user requests the "latest" version, resolve the most recently published non-draft GitHub release, including prereleases:

gh api 'repos/facebook/pyrefly/releases?per_page=100' \
  --jq 'map(select(.draft == false)) | max_by(.published_at) | .tag_name'

Confirm the canonical tag exists with:

gh api repos/facebook/pyrefly/releases/tags/<canonical-tag> --jq .tag_name

If it does not exist, inspect the available tags rather than guessing another version.

From the repository root, run:

.agents/skills/add-pyrefly-version/scripts/fetch-release-checksums.sh <canonical-tag>

The script is read-only and prints a complete Starlark entry using GitHub's reported artifact digests.

Confirm that the canonical version is not already present in PYREFLY_RELEASES, then insert the printed entry near the top of pyrefly/private/versions.bzl. Keep the script read-only; make the edit yourself so the fetched values can be reviewed first.

Run bin/format.sh, bin/lint.sh, and bin/test.sh.

Report the changed file and validation results. Do not commit or push unless explicitly requested.

name	add-pyrefly-version
description	Add support for an explicit, loosely formatted, or latest Pyrefly release in this repository by resolving its canonical GitHub tag, fetching its four supported platform SHA-256 digests, and updating pyrefly/private/versions.bzl. Use when asked to support, register, bump, or add a Pyrefly version.