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

Task/devdocs ci refresh #1543

Merged
merged 7 commits into from
Sep 28, 2023
Merged

Task/devdocs ci refresh #1543

merged 7 commits into from
Sep 28, 2023

Conversation

rhornung67
Copy link
Member

@rhornung67 rhornung67 commented Sep 7, 2023

Summary

  • This PR updates the RAJA Dev Guide sections that describe our CI, mostly the GitLab CI part.

The generated documentation can be viewed here: https://raja.readthedocs.io/en/task-devdocs-ci-refresh/sphinx/dev_guide/index.html

A few of you asked about a walk through of our GitLab stuff. Should we schedule a meeting for that?

builds. The current set of builds run on Azure can be seen by looking at
the ``RAJA/azure-pipelines.yml`` and ``RAJA/Dockerfile`` files.

* **GitLab** instance in the Collaboration Zone (CZ) of the Livermore
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
* **GitLab** instance in the Collaboration Zone (CZ) of the Livermore
* **GitLab** instances in the Collaboration Zone (CZ) of the Livermore

Copy link
Member Author

Choose a reason for hiding this comment

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

There is only one GitLab instance.

Copy link
Member

Choose a reason for hiding this comment

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

I was confused by run, but I see you changed it to runs.

@rhornung67
Copy link
Member Author

Can I get some reviews on this? Thanks.

@rhornung67 rhornung67 merged commit 7fd27f3 into develop Sep 28, 2023
@rhornung67 rhornung67 deleted the task/devdocs-ci-refresh branch September 28, 2023 21:33
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