Code

Update debian Docker tag to v12#46

Code

Open

renovate[bot] wants to merge 1 commit intomainjoshuanianji/idris-2-docker:mainfrom renovate/debian-12.xjoshuanianji/idris-2-docker:renovate/debian-12.xCopy head branch name to clipboard

+7-7

Commits

Commits on Dec 24, 2023

• chore(deps): update debian docker tag to v12

  renovate[bot]

  authored
  cdd6714