PR Info (pre-comment)

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

Sign in to view logs

Triggered via pull request December 28, 2023 17:49

Geod24

synchronize #2762

Status Success

Total duration 10s

Artifacts –

pr_info_intro.yml

on: pull_request_target

Make intro comment