diff options
author | w0rp <devw0rp@gmail.com> | 2021-01-27 20:11:46 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2021-01-27 20:11:46 +0000 |
commit | 82c8e3a3a3740b520c748ff181e5c29f508b8455 (patch) | |
tree | 955e3b1f10ccf7110f7a56178d1660e225064698 /test/script/block-padding-checker | |
parent | bafe1c0fd62ee8173fdbc04a04caf59e3adeabc9 (diff) | |
download | ale-82c8e3a3a3740b520c748ff181e5c29f508b8455.zip |
Remove last traces of Travis CI
* The build status badge is now for GitHub Actions.
* The documentation now mentions GitHub instead.
* Warnings in the YAML file have been fixed or ignored.
Diffstat (limited to 'test/script/block-padding-checker')
0 files changed, 0 insertions, 0 deletions