Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix CI #518

Merged
merged 11 commits into from
Sep 20, 2022
Merged

Fix CI #518

Changes from 5 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
bf04413
Updating docker build for fixing CI
Stevendeo Jul 11, 2022
e65874d
Test
Stevendeo Jul 11, 2022
99f2e1e
Test
Stevendeo Jul 11, 2022
57e8e33
Test
Stevendeo Jul 11, 2022
8bfa0e6
Test
Stevendeo Jul 11, 2022
a144cd7
All jobs
Stevendeo Jul 26, 2022
1e623e6
Fix style
Stevendeo Jul 26, 2022
73eda22
Fix indent
Stevendeo Jul 26, 2022
ad67c40
Trying to delay depext installation
Stevendeo Jul 26, 2022
6972f4a
Trying without specifying depect
Stevendeo Jul 26, 2022
5221c8d
Test fix
Stevendeo Jul 26, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion .github/workflows/build_docker.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,16 @@ name: Build with ocp Docker container
# on a specific light docker container instead of using default GH-actions one.

on:
push:
pull_requests:
branches:
- fix-ci

push:
branches:
- next
- main


jobs:
install_docker:
name: opam install on a specific docker container
Expand All @@ -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 .
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

what kind of problem does that fix ?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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).


# Checkout the code of the current branch
- name: Checkout code
uses: actions/checkout@v2
Expand Down