PR Info (pre-comment)

Revert "Move data part of dub.platform to dub.data" #203

Sign in to view logs

Triggered via pull request January 9, 2024 11:24

Geod24

opened #2788

Status Success

Total duration 11s

Artifacts –

pr_info_intro.yml

on: pull_request_target

Make intro comment