Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Update CI workflow and Makefile #19
Update CI workflow and Makefile #19
Changes from all commits
67fe743
6c5d3f4
f336626
78d98a3
3f06da3
4074fdd
ab96d1c
d24bd43
cf6323e
b4edeac
e68cfc8
0a10c35
d1159fc
bf4dc13
9735164
154ec2a
d5b9f7a
796008e
72e5a0d
da0039f
05e098f
bfa8871
895e837
9aeb8c3
1a0f200
16bd2e3
cedae9a
71d4de0
0cf8a51
a2ab273
06df91c
b18f576
ed338f0
1b69fb8
bbf30fa
8c5c1e1
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing