Skip to content

chore: publish regenerated release/specs - #1071

Closed
robinmordasiewicz wants to merge 1 commit into
mainfrom
sync/regenerate-release-specs-1786997670
Closed

chore: publish regenerated release/specs#1071
robinmordasiewicz wants to merge 1 commit into
mainfrom
sync/regenerate-release-specs-1786997670

Conversation

@robinmordasiewicz

Copy link
Copy Markdown
Contributor

Auto-generated: the pipeline produced a release/specs that differs from the committed artifact. See #681.

@robinmordasiewicz
robinmordasiewicz enabled auto-merge (squash) August 17, 2026 20:14
@robinmordasiewicz
robinmordasiewicz deployed to repository-settings August 17, 2026 20:14 — with GitHub Actions Active
@github-actions

Copy link
Copy Markdown
Contributor

Super-linter summary

Language Validation result
CHECKOV Pass ✅
JSCPD Pass ✅
TRIVY Pass ✅

All files and directories linted successfully

For more information, see the GitHub Actions workflow run

Powered by Super-linter

@robinmordasiewicz

Copy link
Copy Markdown
Contributor Author

Antigravity workflow receipt

{
  "repository": "f5-sales-demo/api-specs",
  "pull_request": 1071,
  "base_sha": "02386f54f4521923f2f08379b2b2f64a40b8dc70",
  "head_sha": "388b8d5586e24de21335ad191e593ba06d858a3d",
  "outcome": "success",
  "watcher_run_id": 32067446382
}

@robinmordasiewicz

Copy link
Copy Markdown
Contributor Author

Superseded by the current regenerated release/specs artifact on main; preserved without deleting this branch.

auto-merge was automatically disabled August 19, 2026 00:47

Pull request was closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant