Skip to content

Glossary: add terms from style guide, and some rework #131

Glossary: add terms from style guide, and some rework

Glossary: add terms from style guide, and some rework #131

Triggered via pull request January 24, 2025 18:41
@chalinchalin
closed #6074
Status Success
Total duration 12s
Artifacts

survey-on-merged-pr.yml

on: pull_request_target
Add survey to PR if author is not a member
3s
Add survey to PR if author is not a member
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Add survey to PR if author is not a member
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636