Michele Caini
|
f577183c24
|
build system: BUILD_PLUGIN is no longer required, plugins are libs
|
2019-12-29 15:16:12 +01:00 |
|
Michele Caini
|
169dcbcd74
|
coverage: enabled plugins
|
2019-12-29 15:16:12 +01:00 |
|
Michele Caini
|
9acdeeed04
|
CI: enabled plugins
|
2019-12-29 15:16:12 +01:00 |
|
Michele Caini
|
93b09836da
|
updated workflow (close #359)
|
2019-12-29 15:16:12 +01:00 |
|
Michele Caini
|
786568fd2f
|
updated workflow
|
2019-12-29 15:16:12 +01:00 |
|
Michele Caini
|
8025a84aeb
|
updated workflow
|
2019-12-29 15:16:12 +01:00 |
|
Michele Caini
|
400f106d62
|
updated coverage.yml
|
2019-09-25 13:52:39 +02:00 |
|
Michele Caini
|
861f452d26
|
remove coveralls
|
2019-09-25 11:57:48 +02:00 |
|
Michele Caini
|
64a7d5e4fd
|
codecov
|
2019-09-25 11:57:29 +02:00 |
|
Michele Caini
|
7c45423969
|
GH actions: reattach HEAD (workaround for an issue with the checkout action)
|
2019-09-25 10:13:13 +02:00 |
|
Michele Caini
|
480f70d7e2
|
GH actions: badges
|
2019-09-24 17:10:43 +02:00 |
|
Michele Caini
|
1319fe2eb5
|
GH actions: conan
|
2019-09-24 16:45:26 +02:00 |
|
Michele Caini
|
f5c231aa80
|
GH actions: split CI and coveralls
|
2019-09-24 11:41:22 +02:00 |
|
Michele Caini
|
84d468333a
|
github actions
|
2019-09-24 11:36:33 +02:00 |
|