Skip to content
Auto-merge

[FEATURE] Introduce an automatically sorted Glossary #721

Sign in to view logs

[FEATURE] Introduce an automatically sorted Glossary

[FEATURE] Introduce an automatically sorted Glossary #721

Triggered via pull request November 9, 2024 10:59
@linawolflinawolf
opened #823
Status Skipped
Total duration 2s
Artifacts –

pr-auto-merge.yaml

on: pull_request_target
Dependabot auto-merge
0s
Dependabot auto-merge
Fit to window
Zoom out
Zoom in