WIP: test(ci): build bot live test — do not merge #195
No reviewers
Labels
No labels
build-dist
priority
P1
priority
P2
priority
P3
priority
P4
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
Toilville/toilville-design!195
Loading…
Reference in a new issue
No description provided.
Delete branch "test/build-bot-live"
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?
Scope
Throwaway live test of the build bot (#193). Do not merge. It nudges
radius.smfrom 3px to 4px and touches one plate EPS, sodist/and the plate derivative go stale. It will be closed and the branch deleted.Testing
Control: the drift gate goes red before labelling. Then
build-distis added and the bot should commit the regenerated files.Impact Statement
Pull request closed