Disable Idris 2 job
Disable Idris 2 job

It's not working and I like the green status.
kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev