Update ubuntu Docker tag to v24 - autoclosed#82

renovate[bot] wants to merge 1 commit intomainjoshuanianji/idris-2-docker:mainfrom

renovate/ubuntu-24.xjoshuanianji/idris-2-docker:renovate/ubuntu-24.xCopy head branch name to clipboard