Remove the CI for bootstrapping from Idris 1
Remove the CI for bootstrapping from Idris 1

In order to not be held back by compatibility, it was decided that 0.2.1
would be the last version supporting bootstrap via Idris2-boot.
mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm