Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: cleanup nix! #10199

Merged
merged 11 commits into from May 10, 2024
Merged

chore: cleanup nix! #10199

merged 11 commits into from May 10, 2024

Conversation

ajbt200128
Copy link
Contributor

Added some comments explaining more things, cleaned up the flake a bit, fixed flags.sh to actually fix the nix flake, then setup caching!

Test plan

# with nix installed
make nix-check
make shell
make core

CI step "build-test-nix" passes

Added some nix comments explaining it a bit more, cleaned up the nix flake
file a bit. Added make targets for nix to simplify stuff and then
finally setup caching!
@ajbt200128 ajbt200128 requested review from aryx and kopecs May 3, 2024 00:26
Copy link
Contributor

github-actions bot commented May 3, 2024

PR checklist:

  • Purpose of the code is evident to future readers
  • Tests included or PR comment includes a reproducible test plan
  • Documentation is up-to-date
  • A changelog entry was added to changelog.d for any user-facing change
  • Change has no security implications (otherwise, ping security team)

If you're unsure about any of this, please see:

Fixed the check tests, so osemgrep tests actually run, fixed flags.sh to
hopefully fix the builds for non nix targets, and fix the shell target
@r2c-argo
Copy link
Contributor

r2c-argo bot commented May 3, 2024

semgrep-compare-github-8d5c6 results

Ran benchmark on 38 repositories

The number of findings differs for 1 repos

Whole benchmark is 5.8% slower (a bit of noise is expected)

Relative speed improvement is 0.98 on average

  • 3% of scans are significantly faster
  • 11% of scans are significantly slower

Relative memory improvement is 1.00 on average

@ajbt200128 ajbt200128 merged commit 5e90386 into develop May 10, 2024
105 checks passed
@ajbt200128 ajbt200128 deleted the austin/cleanup-nix branch May 10, 2024 02:03
Copy link
Collaborator

@aryx aryx left a comment

Choose a reason for hiding this comment

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

ok

.github/workflows/build-test-nix.jsonnet Show resolved Hide resolved
.github/workflows/build-test-nix.jsonnet Show resolved Hide resolved
Makefile Show resolved Hide resolved

# Build targets
nix-osemgrep:
nix build ".?submodules=1#osemgrep"
Copy link
Collaborator

Choose a reason for hiding this comment

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

what is this magic .?submodules thing?

ajbt200128 added a commit that referenced this pull request May 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants