ci: Prevent merging of fixups

This commit is contained in:
Anmol Sethi 2022-11-29 15:25:26 -08:00
parent 95c5d67b58
commit ffa77ecf10
No known key found for this signature in database
GPG key ID: 25BC68888A99A8BA
3 changed files with 15 additions and 6 deletions

View file

@ -22,3 +22,12 @@ jobs:
with:
name: d2chaos-test
path: ./d2chaos/out
nofixups:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- run: git submodule update --init
- run: COLOR=1 ./ci/sub/nofixups.sh
env:
GITHUB_TOKEN: ${{ secrets._GITHUB_TOKEN }}
DISCORD_WEBHOOK_URL: ${{ secrets.DISCORD_WEBHOOK_URL }}

View file

@ -138,15 +138,15 @@ strlen() {
}
echoerr() {
FGCOLOR=1 logp err "$*" | humanpath>&2
FGCOLOR=1 logp err "$*"
}
caterr() {
FGCOLOR=1 logpcat err "$@" | humanpath >&2
FGCOLOR=1 logpcat err "$@"
}
printferr() {
FGCOLOR=1 logfp err "$@" | humanpath >&2
FGCOLOR=1 logfp err "$@"
}
logp() {

View file

@ -144,15 +144,15 @@ strlen() {
}
echoerr() {
FGCOLOR=1 logp err "$*" | humanpath>&2
FGCOLOR=1 logp err "$*"
}
caterr() {
FGCOLOR=1 logpcat err "$@" | humanpath >&2
FGCOLOR=1 logpcat err "$@"
}
printferr() {
FGCOLOR=1 logfp err "$@" | humanpath >&2
FGCOLOR=1 logfp err "$@"
}
logp() {