Alejandro R. Mosteo
|
45d9bd7341
|
Added debian testing to CI
|
2019-03-22 16:32:16 +01:00 |
|
Alejandro R. Mosteo
|
d5abe16c28
|
Parallel build in CI
|
2019-03-21 19:07:08 +01:00 |
|
Alejandro R. Mosteo
|
06de6632da
|
use testing branch for CI instead of devel
|
2019-03-21 19:04:15 +01:00 |
|
Maxim Reznik
|
a9cdc5329e
|
Switch CI to GNAT Community 2018
|
2018-10-25 12:29:33 +02:00 |
|
Alejandro R. Mosteo
|
1b34642e4b
|
Removed nonsensical library attributes, add CI
|
2018-04-04 19:32:12 +02:00 |
|