INTERNAL ERROR: /home/runner/.pack/.tmp1/idris2-compiler/build/ttc/Compiler/CaseOpts.ttm: File Not Found
Couldn't open metadata file: /home/runner/.pack/.tmp1/idris2-compiler/build/ttc/Compiler/CaseOpts.ttm