{
  "language": "c",
  "os": [
    "linux"
  ],
  "dist": "jammy",
  "env": [
    "jobs={:PG_MAJOR=>\"19\", :SNAPSHOT=>\"1\"}={:PG_MAJOR=>\"18\"}={:PG_MAJOR=>\"17\"}={:PG_MAJOR=>\"16\"}={:PG_MAJOR=>\"15\"}={:PG_MAJOR=>\"14\"}={:PG_MAJOR=>\"13\"}"
  ],
  "before_script": [
    "curl https://www.postgresql.org/media/keys/ACCC4CF8.asc | sudo apt-key add -",
    "if [ -n \"${SNAPSHOT}\" ]; then\n  echo \"deb https://apt.postgresql.org/pub/repos/apt/ $(lsb_release -cs)-pgdg-snapshot main ${PG_MAJOR}\"\nelif [ -n \"${BETA}\" ]; then\n  echo \"deb https://apt.postgresql.org/pub/repos/apt/ $(lsb_release -cs)-pgdg main ${PG_MAJOR}\"\nelse\n  echo \"deb https://apt.postgresql.org/pub/repos/apt/ $(lsb_release -cs)-pgdg main\"\nfi | sudo tee /etc/apt/sources.list.d/postgresql.list\n",
    "if [ -n \"${SNAPSHOT}\" ]; then\n  {\n    echo \"Package: *\"\n    echo \"Pin: origin apt.postgresql.org\"\n    echo \"Pin-Priority: 600\"\n  } | sudo tee /etc/apt/preferences.d/pgdg.pref\nfi\n",
    "sudo apt-get update",
    "sudo systemctl stop postgresql",
    "sudo apt-get install -y --no-install-recommends postgresql-client-${PG_MAJOR} postgresql-${PG_MAJOR} postgresql-server-dev-${PG_MAJOR}",
    "sudo systemctl stop postgresql"
  ],
  "script": [
    "./run-tests.sh"
  ],
  "after_script": [
    "cat regression.diffs",
    "cat logfile"
  ]
}