Skip to content

Add a justfile - #53

Merged
plotnick merged 1 commit into
mainfrom
just
Aug 15, 2026
Merged

Add a justfile#53
plotnick merged 1 commit into
mainfrom
just

Conversation

@plotnick

Copy link
Copy Markdown
Collaborator

GitHub CI now runs through this so command-line and automated runs can't drift.

`just ci` runs what GitHub CI runs, --locked included, so stale
lockfiles and OpenAPI drift fail locally first.

Co-Authored-By: Claude Mythos 5 <noreply@anthropic.com>
@plotnick
plotnick merged commit d00cc9b into main Aug 15, 2026
5 checks passed
@plotnick
plotnick deleted the just branch August 15, 2026 20:58
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