[ci] remove ragel from psvita compile bot
authorEbrahim Byagowi <ebrahim@gnu.org>
Wed, 27 Mar 2019 12:08:39 +0000 (16:38 +0430)
committerGitHub <noreply@github.com>
Wed, 27 Mar 2019 12:08:39 +0000 (16:38 +0430)
commit717181c5943c13a682c719dce10bfc3d9cc47e6b
tree2050e1629c21792f885df8605d7c4dfd6f026931
parent08e36c5d8be22b3a7e31f33af9452372dafeacc0
[ci] remove ragel from psvita compile bot
.circleci/config.yml