add pr_info GitHub actions run
Gives summary about some basic statistics, deprecations and warnings
1 parent 2f0e898 commit 3ea6bbe3df2a8cf6cb306b9e0ab5f35096e020ff
@WebFreak001 WebFreak001 authored on 3 Mar 2023
Jan Jurzitza committed on 9 Mar 2023
Showing 3 changed files
View
.github/workflows/pr_info.yml 0 → 100644
View
scripts/ci/summary_comment.sh 0 → 100755
View
scripts/ci/summary_comment_diff.sh 0 → 100755