History for dub_jkp / .github / workflows / pr_info_post.yml
2024-06-22
@Mathias Lang
CI: Adapt pr_info_post to github-script v7 breaking changes ...
Mathias Lang authored on 22 Jun Mathias LANG committed on 22 Jun
@Mathias Lang
CI: Correct version for sticky-pull-request-comment action ...
Mathias Lang authored on 22 Jun Mathias LANG committed on 22 Jun
2024-06-21
@Mathias Lang
CI: Upgrade some more actions to their latest versions
Mathias Lang authored on 18 Jun Mathias LANG committed on 21 Jun
2023-09-04
@WebFreak001
improve github CI definitions ...
WebFreak001 authored on 4 Sep 2023 Jan Jurzitza committed on 4 Sep 2023
2023-03-09
@WebFreak001
fix pr_info_post file paths
WebFreak001 authored on 9 Mar 2023 Jan Jurzitza committed on 9 Mar 2023
@Jan Jurzitza
try to fix pr_info permission problem (#2621) ...
Jan Jurzitza authored on 9 Mar 2023 GitHub committed on 9 Mar 2023