PR Milestone

[GSoC'24] Highlight selected preference setting #3966

Sign in to view logs

Summary
Jobs
- milestone
Run details
- Usage
- Workflow file

Triggered via pull request May 23, 2024 15:00

closed #16368

Status Success

Total duration 11s

Artifacts –

milestone.yml

on: pull_request_target