Fix CI #518
Fix CI #518
Conversation
.github/workflows/build_docker.yml
Outdated
| @@ -26,6 +30,9 @@ jobs: | |||
| # to `ocaml` with the container parameters | |||
| - run: sudo chmod a+wx . | |||
|
|
|||
| - name: Reclaim cache directory | |||
| run: sudo chown -R 1001:1001 . | |||
There was a problem hiding this comment.
what kind of problem does that fix ?
There was a problem hiding this comment.
The docker image build fails ; right now the error is Error: EACCES: permission denied, mkdir '/__w/_temp/9c8f979e-f394-49cf-ae44-be4cb680bb8a' so I guessed there was some kind of ownership issue. Right now, I'm playing with CI configuration to start the Docker check on a specific set of PRs (the PR of branches named fix-ci).
|
The CI is currently broken, this PR aims at fixing the different CI issues. |
Stevendeo
force-pushed
the
fix-ci
branch
17 times, most recently
from
69de101 to
40a6919
Compare
Stevendeo
force-pushed
the
fix-ci
branch
13 times, most recently
from
8e98952 to
e8348d6
Compare
|
This PR needs to be merged otherwise all new PRs and PRs that have recent commits will keep having failing CIs |
|
Well, looks like this actually broke CI once merged cc @Stevendeo , :p |
|
It actually failed in a new way. The error is not the same as the one it fixes. |
* Updating docker build for fixing CI * Test * Test * Test * Test * All jobs * Fix style * Fix indent * Trying to delay depext installation * Trying without specifying depect * Test fix
* Updating docker build for fixing CI * Test * Test * Test * Test * All jobs * Fix style * Fix indent * Trying to delay depext installation * Trying without specifying depect * Test fix
No description provided.