Daniel Müller bfdf7653e0 Rename travis-ci/ directory to ci/ ...

We are no longer using Travis. As such, we should move away from a lot
of CI functionality located in a folder called travis-ci/. This change
renames the travis-ci/ directory to the more generic ci/.
To preserve backwards compatibility until all "consumers" have
transitioned, we add a symbolic link called travis-ci back. It will be
removed in the near term future.

Signed-off-by: Daniel Müller <deso@posteo.net>

2022-08-18 09:02:13 -07:00

..

.do_not_use_dot_patch_here

Rename travis-ci/ directory to ci/

2022-08-18 09:02:13 -07:00

001-fix-oob-write-in-test_verifier.diff

Rename travis-ci/ directory to ci/

2022-08-18 09:02:13 -07:00