ci: Move CI scripts to another directory
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
This commit is contained in:
parent
e96d7e3419
commit
60c1ff1596
|
@ -1,6 +1,6 @@
|
|||
set -e
|
||||
|
||||
source .github/travis/common.sh
|
||||
source .github/scripts/common.sh
|
||||
|
||||
# Output any changes in the repository
|
||||
# ------------------------------------------------------------------------
|
Loading…
Reference in New Issue