Skip to content

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Jul 1, 2025

Automated pull request for publishing docs updates.

@github-actions github-actions bot requested a review from ArthurFlag as a code owner July 1, 2025 10:46
@github-actions github-actions bot added the area/release Relates to CI or deployment label Jul 1, 2025
ArthurFlag and others added 2 commits July 1, 2025 13:00
Some parts of the search results window are hard to read. Let's fix
this.

Before: see live website
After: 

![Screenshot 2025-07-01 at 12 45
40](https://github.com/user-attachments/assets/34e8e10c-d2ab-4c8b-9d83-07299915464e)
![Screenshot 2025-07-01 at 12 45
49](https://github.com/user-attachments/assets/a851dcdb-5423-40bc-9a8b-19cd949c408c)
<!--Delete sections as needed -->

## Description

does what it says on the tin

## Related issues or tickets

<!-- Related issues, pull requests, or Jira tickets -->

## Reviews

<!-- Notes for reviewers here -->
<!-- List applicable reviews (optionally @tag reviewers) -->

- [ ] Technical review
- [ ] Editorial review
- [ ] Product review
@github-actions github-actions bot requested a review from aevesdocker as a code owner July 1, 2025 11:54
<!--Delete sections as needed -->

## Description

Freshness for Intro, install, quickstart

## Related issues or tickets

<!-- Related issues, pull requests, or Jira tickets -->

## Reviews

<!-- Notes for reviewers here -->
<!-- List applicable reviews (optionally @tag reviewers) -->

- [ ] Technical review
- [ ] Editorial review
- [ ] Product review
@aevesdocker aevesdocker merged commit 1a01fdd into published Jul 1, 2025
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/release Relates to CI or deployment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants