rewrite annotate-output
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
rewrite annotate-output
Johannes Schauer Marin Rodrigues
requested to merge
annotate-output
into
master
Apr 24, 2023
Overview
15
Commits
1
Pipelines
7
Changes
4
no temporary directory
no fifos
no cleanup exit trap
no background processes to keep track of
no bash but POSIX shell
more permissive license for this tiny script
Closes: #919563
Merge request reports
Loading