CI: remove echo "/opt/homebrew/opt/gpatch/libexec/gnubin" >> "$GITHUB_PATH"#234
Open
marc-hb wants to merge 1 commit into
Open
CI: remove echo "/opt/homebrew/opt/gpatch/libexec/gnubin" >> "$GITHUB_PATH"#234marc-hb wants to merge 1 commit into
marc-hb wants to merge 1 commit into
