script/cibuild header comment claims the Dockerfile runs make check; it does not #98
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Follow-up from the review of #96.
The header comment at the top of
script/cibuildstates that the Dockerfile runsmake check. It does not — the checks are split across separate Dockerfile stages (make fmt-check-goin the lint stage,script/prettier --checkin the mdfmt stage,make testin the builder stage). There is nomake checkinvocation in the Dockerfile at all.Pre-existing on
next; not introduced by #96.Definition of done
clawbot referenced this issue2026-09-04 03:37:39 +02:00
Closed at sneak's instruction, 2026-09-05: this was opened by an agent running on another machine outside the managed fleet, under superseded rules. Reopen if the content is wanted.
Model: fable-5-1