nandi/frqpublic Fork 0
e505ded
Commits
Clone
git clone https://git.rickub.com/nandi/frq.git
git clone ssh://git@rickub.com/nandi/frq.git

Host key fingerprint (ed25519): SHA256:iycHnxEyq0Q7uyVpB7JlznP0G7JrTPXLYRcAU5CSLhc — verify it before your first connect.

Fetch the web bundle the way web-local does

Run 10 got the three jobs it was meant to fix green and then failed on a line
of mine from earlier: `modal volume get … web` answered `[Errno 21] Is a
directory: 'web'`, after the Modal build had already succeeded and written the
bundle.

`modal volume get` wants a destination directory to put `web/` inside, not the
name the copy should take — which is what `just web-local` has always done and
what I did not copy across when this job stopped fetching a desktop tarball and
started fetching a directory. `mkdir -p dist`, fetch into it, upload `dist/web`.

`if-no-files-found: error` on it too, so an empty fetch fails the job rather
than uploading nothing and passing.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
nandi committed 2026-09-18T22:56:18-07:00 Browse files
e505ded parent: 3760746
modified .rickub/workflows/build.yml +8 -2
@@ -156,14 +156,20 @@ jobs:
156156 env:
157157 MODAL_TOKEN_ID: ${{ secrets.MODAL_TOKEN_ID }}
158158 MODAL_TOKEN_SECRET: ${{ secrets.MODAL_TOKEN_SECRET }}
159+ # Into a directory that already exists, which `modal volume get` then
160+ # creates `web/` inside — the same shape `just web-local` uses. Naming
161+ # `web` as the destination itself is what failed, with `[Errno 21] Is a
162+ # directory`, after the Modal build had already succeeded.
159163 run: |
164+ mkdir -p dist
160165 modal volume get --force devshell \
161- frq-flutter-web/flutter/build/web web
166+ frq-flutter-web/flutter/build/web dist
162167
163168 - uses: actions/upload-artifact@v4
164169 with:
165170 name: frq-web-${{ github.sha }}
166- path: web
171+ path: dist/web
172+ if-no-files-found: error
167173 if-no-files-found: error
168174
169175 # Kept whether or not the build succeeded: a failed run's log is the
@@ -156,14 +156,20 @@ jobs:
156 env:156 env:
157 MODAL_TOKEN_ID: ${{ secrets.MODAL_TOKEN_ID }}157 MODAL_TOKEN_ID: ${{ secrets.MODAL_TOKEN_ID }}
158 MODAL_TOKEN_SECRET: ${{ secrets.MODAL_TOKEN_SECRET }}158 MODAL_TOKEN_SECRET: ${{ secrets.MODAL_TOKEN_SECRET }}
159+ # Into a directory that already exists, which `modal volume get` then
160+ # creates `web/` inside — the same shape `just web-local` uses. Naming
161+ # `web` as the destination itself is what failed, with `[Errno 21] Is a
162+ # directory`, after the Modal build had already succeeded.
159 run: |163 run: |
164+ mkdir -p dist
160 modal volume get --force devshell \165 modal volume get --force devshell \
161- frq-flutter-web/flutter/build/web web166+ frq-flutter-web/flutter/build/web dist
162 167
163 - uses: actions/upload-artifact@v4168 - uses: actions/upload-artifact@v4
164 with:169 with:
165 name: frq-web-${{ github.sha }}170 name: frq-web-${{ github.sha }}
166- path: web171+ path: dist/web
172+ if-no-files-found: error
167 if-no-files-found: error173 if-no-files-found: error
168 174
169 # Kept whether or not the build succeeded: a failed run's log is the175 # Kept whether or not the build succeeded: a failed run's log is the