Skip to content

No PR-time currency check: generated drift is caught only at tag time, after the deploy #152

Description

@thedavidmeister

This repo commits src/generated/ but has no PR-time currency workflow, so nothing checks that the committed generated files match what script/Build.sol produces until rainix-tag-release regenerates and runs release-guard — which happens after the deploy has already been broadcast.

The check that is missing is rainlanguage/rainix/.github/workflows/rainix-copy-artifacts.yaml@main (re-runs Build.sol, forge build, forge fmt, then git diff --exit-code). rainix-tag-release explicitly relies on it being the PR-time twin of its release-time regen.

Conforming siblings that have it:

  • rain.metadata.deploy — .github/workflows/git-clean.yaml, name: Git is clean (newest, 2026-08-20T18:58Z)
  • rain.factory.deploy — same shape
  • rain.math.float.deploy — copy-artifacts.yaml, name: copy-artifacts

Missing in: rain.deploy and rain.extrospection.deploy.

Adopt the newest naming (git-clean.yaml / name: Git is clean / job id copy-artifacts) unless there is a reason to prefer the other, in which case standardise the other way across all of them — the split naming is itself worth resolving.

Found while deriving the current deploy-repo standard from rain.deploy and its four conforming consumers.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions