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.

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

[CI] fix ci_gpu dockerfile #11644

Merged
merged 1 commit into from
Jun 10, 2022
Merged

[CI] fix ci_gpu dockerfile #11644

merged 1 commit into from
Jun 10, 2022

Conversation

gigiblender
Copy link
Contributor

@gigiblender gigiblender commented Jun 9, 2022

It seems that this PR broke our installation of papi in the ci_gpu docker image.

This PR fixes it.

Edit: check this build for the failure. The same error occurs when building the image locally on main.

@areusch @driazati

cc @Mousius

@github-actions github-actions bot requested a review from Mousius June 9, 2022 14:50
docker/install/ubuntu_install_papi.sh Outdated Show resolved Hide resolved
@gigiblender gigiblender force-pushed the fix-ci-gpu branch 3 times, most recently from d13f674 to 576d23e Compare June 9, 2022 16:24
@areusch areusch merged commit dccc1c7 into apache:main Jun 10, 2022
@areusch
Copy link
Contributor

areusch commented Jun 10, 2022

thanks @gigiblender !

@gigiblender gigiblender deleted the fix-ci-gpu branch June 10, 2022 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants