We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
What Needs to be Done?
We want to just disable those pipelines since they seem to consume excessive resources and fail.
The text was updated successfully, but these errors were encountered:
#1844: CI: remove extended pipelines, fix generation
aadd1d6
#1844: CI: implement new workflow to check workflow generation
7d02522
#1844: CI: fix package name
06cf2a1
#1844: CI: fix permission/install problem
ab5b7d4
Merge pull request #1846 from DARMA-tasking/1844-disable-extended-cud…
9d44256
…a-pipelines-for-develop-merge #1844: CI: remove extended pipelines, fix generation
Successfully merging a pull request may close this issue.
What Needs to be Done?
We want to just disable those pipelines since they seem to consume excessive resources and fail.
The text was updated successfully, but these errors were encountered: