[ci] improve experience with optional GitHub workflows (#3740)
* improve experience with optional GitHub workflows * Update README.md * Update r_artifacts.yml * Update optional_checks.yml * continue * Update triggering_comments.yml * Update README.md * Update r_artifacts.yml * Update r_artifacts.yml * Update r_artifacts.yml * Update r_valgrind.yml * Update r_artifacts.yml * Update r_valgrind.yml * Update r_valgrind.yml * Update r_valgrind.yml * add docstrings to fix lint * better formatting for multi-line commands
Showing
.ci/append_comment.sh
0 → 100755
.ci/get_workflow_status.py
0 → 100644
.ci/rerun_workflow.sh
0 → 100755
.ci/set_commit_status.sh
0 → 100755
.ci/trigger_dispatch_run.sh
0 → 100755
Please register or sign in to comment