Skip to content

Fix release workflow: output executable to build/ subdirectory to avoid directory conflict#3

Merged
hugefiver merged 2 commits intomasterfrom
copilot/fix-delete-file-error
Dec 19, 2025
Merged

Fix release workflow: output executable to build/ subdirectory to avoid directory conflict#3
hugefiver merged 2 commits intomasterfrom
copilot/fix-delete-file-error

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Dec 19, 2025

raco exe -o randstr fails because randstr is an existing source directory, causing delete-file: cannot delete file - Is a directory.

Changes

  • Output executable to build/ subdirectory instead of repository root
  • Split build step into Unix/Windows variants for proper shell compatibility
    • Unix: mkdir -p build && raco exe -o build/randstr
    • Windows: New-Item -ItemType Directory -Force -Path build + raco exe -o build/randstr.exe
  • Updated raco distribute commands to reference new paths
Original prompt

Run raco exe -o randstr randstr/cli/main.rkt
delete-file: cannot delete file
path: /home/runner/work/randstr/randstr/randstr
system error: Is a directory; errno=21
context...:
/usr/share/racket/collects/compiler/embed.rkt:1499:0: create-embedding-executable
/usr/share/racket/pkgs/compiler-lib/compiler/commands/exe.rkt:100:0
body of "/usr/share/racket/pkgs/compiler-lib/compiler/commands/exe.rkt"
/usr/share/racket/collects/raco/raco.rkt:41:0
body of "/usr/share/racket/collects/raco/raco.rkt"
body of "/usr/share/racket/collects/raco/main.rkt"
Error: Process completed with exit code 1.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

…cutable to build/ subdirectory

Co-authored-by: hugefiver <18693500+hugefiver@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix error when deleting file in randstr Fix release workflow: output executable to build/ subdirectory to avoid directory conflict Dec 19, 2025
Copilot AI requested a review from hugefiver December 19, 2025 15:19
@hugefiver hugefiver marked this pull request as ready for review December 19, 2025 15:21
Copilot AI review requested due to automatic review settings December 19, 2025 15:21
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR fixes a build failure in the release workflow where raco exe -o randstr fails because randstr is an existing source directory, causing a "cannot delete file - Is a directory" error.

Key changes:

  • Output executables to build/ subdirectory instead of repository root
  • Split build step into platform-specific variants (Unix/Windows) with appropriate shell commands
  • Update distribution commands to reference the new executable paths

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@hugefiver hugefiver merged commit 48568f3 into master Dec 19, 2025
7 checks passed
@hugefiver hugefiver deleted the copilot/fix-delete-file-error branch December 19, 2025 15:24
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.

3 participants