Robert Winkler
|
e3b82cf3b7
|
Add license headers to docs and CI scripts
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
|
2020-12-14 14:45:55 +01:00 |
|
Robert Winkler
|
f579ebfb8d
|
ci: Extract tuttest runs from docker
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
|
2020-12-14 14:45:55 +01:00 |
Filip Kokosinski
|
0e4eeba99f
|
ci: Adjust CI to sphinx-based documentation
Signed-off-by: Filip Kokosinski <fkokosinski@antmicro.com>
|
2020-12-14 14:45:55 +01:00 |
|
Robert Winkler
|
a9ae44dea2
|
ci: Remove Travis config
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
|
2020-11-26 18:14:19 +01:00 |
|
Robert Winkler
|
60c1ff1596
|
ci: Move CI scripts to another directory
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
|
2020-11-26 18:14:19 +01:00 |