Skip to content

Clean generated build artifacts#4

Closed
mlgorithm wants to merge 3 commits into
AutoProving:mainfrom
mlgorithm:Sam/cleanup-generated-artifacts
Closed

Clean generated build artifacts#4
mlgorithm wants to merge 3 commits into
AutoProving:mainfrom
mlgorithm:Sam/cleanup-generated-artifacts

Conversation

@mlgorithm
Copy link
Copy Markdown

Summary

  • route generated CMake, install, smoke, and package outputs under out/
  • remove obsolete cluster README
  • remove tracked build artifacts and Python bytecode cache

Validation

  • git diff --check
  • GitHub workflow YAML parsed with Ruby YAML loader
  • cmake -S . -B out/build/default -DCMAKE_BUILD_TYPE=Release configured successfully

Full local build was not completed on macOS because the existing source still depends on GNU-specific headers/libraries (bits/stdc++.h, experimental/filesystem, stdc++fs).

@mlgorithm
Copy link
Copy Markdown
Author

fine to merge

@mlgorithm
Copy link
Copy Markdown
Author

Withdrawing this PR for now; keeping the cleanup work on a separate branch.

@mlgorithm mlgorithm closed this May 9, 2026
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