Skip to content

Update CI + Pre-Push - #9

Merged
arijit-dasgupta merged 7 commits into
masterfrom
arijit/update-ci-and-prepush
Nov 17, 2025
Merged

Update CI + Pre-Push#9
arijit-dasgupta merged 7 commits into
masterfrom
arijit/update-ci-and-prepush

Conversation

@arijit-dasgupta

@arijit-dasgupta arijit-dasgupta commented Nov 17, 2025

Copy link
Copy Markdown
Contributor

In this PR, I

  1. Make pre-push testing verbose (FIXES MET-27)
  2. Add pixi reinstall genmetaballs to pre-push before testing, so that all C++/CUDA files are always built before testing (FIXES MET-28)
  3. Removes the redundant pixi install from CI, the regular pixi setup action does this already. (FIXES MET-22)

Additionally, I have removed the cache-ing of pixi envs from the CI. The cache includes the cuda toolkit, which is way larger than the runner can store. If you look at previous github actions (below), the memory is too large.

image

@linear

linear Bot commented Nov 17, 2025

Copy link
Copy Markdown

@arijit-dasgupta

Copy link
Copy Markdown
Contributor Author

Awesome! CI time has gone down form 4m53s to 2m22s.

@arijit-dasgupta
arijit-dasgupta marked this pull request as ready for review November 17, 2025 03:58

@horizon-blue horizon-blue left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks great! Thank you for the quick fix :). Feel free to merge this PR whenever you feels ready

Comment thread .pre-commit-config.yaml
# Run tests (pre-push hook)
- id: test
name: Run all tests
entry: scripts/test-quiet.sh

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Perhaps we can remove the unused script now that we don't use it anymore? ;)

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Ahh good point. will remove now

@arijit-dasgupta
arijit-dasgupta merged commit 7d5a3af into master Nov 17, 2025
1 check passed
@arijit-dasgupta
arijit-dasgupta deleted the arijit/update-ci-and-prepush branch November 17, 2025 06:18
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.

2 participants