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 the build system and fix CI #68
base: master
Are you sure you want to change the base?
Update the build system and fix CI #68
Changes from all commits
0c53f3f
7a7814b
4f0edf1
605eb7b
ee5ed8a
8563675
115be3a
e3d5c68
5034873
5b26bc3
8236103
74e2efa
a3a103b
e0c2433
1c980c1
52d4121
848a1b6
71348ed
36d8f4f
6dd58ab
db3354a
acaa8fa
de0a552
1df18b1
fb19c01
67f6b42
82f2b36
6a06e8d
4006440
574f1a8
93cd99e
8238958
031cb15
c1d5aa0
e83e5e3
248713e
8665ad0
4814d70
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.