🏃 Upcoming ARM based instance runners availability and associated instance runner tags changes. Read more 🏃
For an Idris module.
