Skip to content

kokoro: remove pre-existing core file if it exists#993

Closed
dneto0 wants to merge 1 commit intogoogle:mainfrom
dneto0:rmcore
Closed

kokoro: remove pre-existing core file if it exists#993
dneto0 wants to merge 1 commit intogoogle:mainfrom
dneto0:rmcore

Conversation

@dneto0
Copy link
Collaborator

@dneto0 dneto0 commented Jul 27, 2022

No description provided.

@dneto0
Copy link
Collaborator Author

dneto0 commented Jul 27, 2022

trying to see if I can avoid a failure as in CI-ubuntu-clang-release in #992

@dneto0
Copy link
Collaborator Author

dneto0 commented Jul 27, 2022

google/clspv#878 is a pre-existing solution.

@dneto0 dneto0 closed this Jul 27, 2022
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.

1 participant