Skip to content

jepsen-pause-resume #17

jepsen-pause-resume

jepsen-pause-resume #17

name: jepsen-pause-resume
on:
workflow_dispatch:
inputs:
workloads:
description: Workloads (as JSON)
type: string
required: false
default: "[ 'ps-rw-pg-rw' ]"
nemeses:
description: 'Nemeses (as JSON)'
type: string
required: false
default: "[ 'pause,upload-queue' ]"
rates:
description: 'Rates (as JSON)'
type: string
required: false
default: "[ '10', '20', '30', '40', '50' ]"
time-limits:
description: 'Time limits (as JSON)'
type: string
required: false
default: "[ '100', '200', '300', '400', '500', '600', '700', '800', '900', '1000', '1100', '1200' ]"
cli-opts:
description: 'CLI opts string'
type: string
required: false
default: --nodes n1,n2,n3,n4,n5,n6,n7,n8,n9,n10,n11 --postgres-nodes n11, --client-timeout 11
args:
description: 'A JSON Map of args (workaround GitHub max inputs)'
type: string
required: true
default: "{'repeat': [ '1', '2', '3', '4' ], 'timeout-minutes': 25, 'powersync-image-tag': 'latest'}"
jobs:
jepsen-pause-resume:
uses: nurturenature/jepsen-powersync/.github/workflows/jepsen-test-runner.yml@main
with:
workloads: ${{ inputs.workloads}}
nemeses: ${{ inputs.nemeses }}
rates: ${{ inputs.rates }}
time-limits: ${{ inputs.time-limits }}
cli-opts: ${{ inputs.cli-opts }}
args: ${{ inputs.args }}