Use common CI configuration scripts and configs
Compare changes
- Mateusz Tyszczak authored
+ 7
− 11
@@ -25,13 +25,7 @@ lint:
@@ -25,13 +25,7 @@ lint:
@@ -39,12 +33,12 @@ build:
@@ -39,12 +33,12 @@ build:
# Generates documentation and supplements wiki URL so it is available in Wiki and published package README
@@ -53,7 +47,7 @@ generate_docs:
@@ -53,7 +47,7 @@ generate_docs:
@@ -79,6 +73,8 @@ push_to_wiki:
@@ -79,6 +73,8 @@ push_to_wiki: