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.

Sign up for GitHub

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

Jump to bottom

Remove armobuiltin #20

Merged
merged 9 commits into from
Nov 28, 2023
Merged

Remove armobuiltin #20

merged 9 commits into from
Nov 28, 2023

Conversation

yuleib
Copy link
Contributor

@yuleib yuleib commented Nov 28, 2023

No description provided.

@yuleib
Update pr.yaml
a56202c 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update pr.yaml
795b65b 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update MITRE.json
3cdcce7 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update MITRE.json
95c8813 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update MITRE.json
bddbd00 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update MITRE.json
dbf49d1 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update MITRE.json
c34e50e 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update MITRE.json
fd35b21 
Signed-off-by: Yuval Leibovich <[email protected]>
@yuleib
Update pr.yaml
bdec8ad 
Signed-off-by: Yuval Leibovich <[email protected]>
@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 28, 2023 •
edited
Loading

Pull Request Test Coverage Report for Build 7018189161

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 62.458%
Totals Coverage Status
Change from base Build 6941112593: 0.0%
Covered Lines: 1113
Relevant Lines: 1782
💛 - Coveralls

@yuleib yuleib requested a review from amirmalka November 28, 2023 11:47
@yuleib yuleib merged commit 9b1fdd8 into main Nov 28, 2023
3 checks passed
@yuleib yuleib deleted the remove_armobuiltin branch November 28, 2023 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@amirmalka amirmalka amirmalka approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@yuleib @amirmalka