Skip to content

Remove duplicate Jenkins push trigger - #6166

Merged
j0ntz merged 2 commits into
developfrom
codex/remove-duplicate-jenkins-trigger
Sep 4, 2026
Merged

Remove duplicate Jenkins push trigger#6166
j0ntz merged 2 commits into
developfrom
codex/remove-duplicate-jenkins-trigger

Document Jenkins validation results

33074a5
Select commit
Loading
Failed to load commit list.
Travis CI / Travis CI - Pull Request succeeded Sep 4, 2026 in 17m 14s

Build Passed

The build passed, just like the previous build.

Details

This is a pull request build.

It is running a build against the merge commit, after merging #6166 Remove duplicate Jenkins push trigger.
Any changes that have been made to the develop branch before the build ran are also included.

Jobs and Stages

This build only has a single job.
You can use jobs to test against multiple versions of your runtime or dependencies, or to speed up your build.

Build Configuration

Build Option Setting
Language Node.js
Operating System Linux (Jammy)
Node.js Version 18
Build Configuration
{
  "language": "node_js",
  "os": [
    "linux"
  ],
  "dist": "jammy",
  "branches": {
    "only": [
      "develop",
      "staging"
    ]
  },
  "if": "head_branch !~ ^dependabot/",
  "node_js": [
    "18"
  ],
  "before_install": [
    "node scripts/hack-travis.mjs"
  ],
  "install": [
    "npm ci",
    "npm run prepare"
  ],
  "script": [
    "npm run lint",
    "npx tsc",
    "npm test"
  ]
}