Explicitly set ownership of /workspace in CI runs (#167)

* Don't cache dev container CI image

This commit disables caching of dev container CI images. It's sort of
a hack because our CI started failing with weird permissions issues so
we want to see if busting the cache fixes that.

Signed-off-by: John Schaeffer <[email protected]>

* [hax] Cache it anyway and try running something else

Signed-off-by: John Schaeffer <[email protected]>

* [hax] Just change the directory perms

Signed-off-by: John Schaeffer <[email protected]>

---------

Signed-off-by: John Schaeffer <[email protected]>

Author: jnschaeffer

.github/workflows/test.yaml

@@ -21,7 +21,7 @@ jobs:
         uses: devcontainers/[email protected]
         with:
           push: never
-          runCmd: make ci
+          runCmd: 'sudo chown -R vscode:vscode /workspace && make ci'
 
       - name: Upload coverage report
         uses: codecov/codecov-action@v3