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

Comparison merge setup #150

Merged
merged 54 commits into from
Nov 12, 2024
Merged

Comparison merge setup #150

merged 54 commits into from
Nov 12, 2024

Conversation

ankit-privado
Copy link
Collaborator

Using different branches for joern and privado-core comparison report, merging both branch in order to use a single handled branch.

karan-batavia and others added 24 commits September 3, 2024 10:28
Create slack summary in case of failure
Add bash script to send files to slack
Fix summary and remove some sections
* pull privado-core-internal

* private fork changes for comparison report

* private fork changes for comparison report

* private fork changes for comparison report

* private fork changes for comparison report

* try to resolve privado-core-internal

* try to resolve privado-core-internal

* try to resolve privado-core-internal

* change repo_name for binary

* changed repository name to enterprise

* write to action file if anything major is missing

* add exceptions to action result

* change env var name

* create slack summary in case of failure

* add bash script to send files to slack

* remove silent output

* redirect output to dev/null

* add FILE_PATH var

* fix stat

* update script to correctly parse req body

* fix summary and remove some sections

* escape PR message

* private fork changes

* echo file size

* changed offset

* correct collate summary

* change mechanism for file write

---------

Co-authored-by: Karan Batavia <[email protected]>
Co-authored-by: Karan Batavia <[email protected]>
Comparison report privado branch change
@karan-batavia karan-batavia merged commit 4ca06d4 into dev Nov 12, 2024
1 check failed
@pandurangpatil pandurangpatil deleted the merge-setup branch November 12, 2024 08:27
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