[fix] use latest pack release

Author: bgavran

.github/workflows/build.yml

@@ -20,7 +20,7 @@ jobs:
     # The type of runner that the job will run on
     runs-on: ubuntu-latest
     container:
-      image: ghcr.io/stefan-hoeck/idris2-pack:nightly-250803-jammy
+      image: ghcr.io/stefan-hoeck/idris2-pack:latest
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps: