PR Info (pre-comment)

Fix #2696: Segfault with bad dub.sdl #165

Sign in to view logs

Triggered via pull request December 28, 2023 16:23

Geod24

opened #2762

Status Success

Total duration 13s

Artifacts –

pr_info_intro.yml

on: pull_request_target

Make intro comment