Skip to content

Pypi override for z3 theorem prover from Microsoft Research #508

Pypi override for z3 theorem prover from Microsoft Research

Pypi override for z3 theorem prover from Microsoft Research #508

Triggered via pull request October 29, 2024 05:56
Status Success
Total duration 14s
Artifacts

release-drafter.yml

on: pull_request
update_release_draft
4s
update_release_draft
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
update_release_draft
Validation Failed: {"resource":"Release","code":"invalid","field":"target_commitish"} { name: 'HttpError', id: '11568142769', status: 422, response: { url: 'https://api.github.com/repos/replit/upm/releases/178991235', status: 422, headers: { 'access-control-allow-origin': '*', 'access-control-expose-headers': 'ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Used, X-RateLimit-Resource, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type, X-GitHub-SSO, X-GitHub-Request-Id, Deprecation, Sunset', connection: 'close', 'content-length': '210', 'content-security-policy': "default-src 'none'", 'content-type': 'application/json; charset=utf-8', date: 'Tue, 29 Oct 2024 05:56:37 GMT', 'referrer-policy': 'origin-when-cross-origin, strict-origin-when-cross-origin', server: 'github.com', 'strict-transport-security': 'max-age=31536000; includeSubdomains; preload', vary: 'Accept-Encoding, Accept, X-Requested-With', 'x-accepted-github-permissions': 'contents=write', 'x-content-type-options': 'nosniff', 'x-frame-options': 'deny', 'x-github-api-version-selected': '2022-11-28', 'x-github-media-type': 'github.v3; format=json', 'x-github-request-id': '7886:28BD2D:5329B:A005C:67207915', 'x-ratelimit-limit': '15000', 'x-ratelimit-remaining': '14990', 'x-ratelimit-reset': '1730184995', 'x-ratelimit-resource': 'core', 'x-ratelimit-used': '10', 'x-xss-protection': '0' }, data: { message: 'Validation Failed', errors: [ { resource: 'Release', code: 'invalid', field: 'target_commitish' } ], documentation_url: 'https://docs.github.com/rest/releases/releases#update-a-release', status: '422' } }, request: { method: 'PATCH', url: 'https://api.github.com/repos/replit/upm/releases/178991235', headers: { accept: 'application/vnd.github.v3+json', 'user-agent': 'probot/12.2.5 octokit-core.js/3.5.1 Node.js/20.13.1 (linux; x64)', authorization: 'token [REDACTED]', 'content-type': 'application/json; charset=utf-8' }, body: '{"body":"## Changes\\n\\n- bug/Evict uv if we see requirements.txt @blast-hardcheese (#299)\\n\\n## 🤖 Dependencies\\n\\n- Bump django from 4.2.15 to 4.2.16 in /test-suite/templates/python3-poetry/one-dep @dependabot (#298)\\n- Bump django from 4.2.15 to 4.2.16 in /test-suite/templates/python3-poetry/many-deps @dependabot (#297)\\n","draft":true,"prerelease":false,"make_latest":"true","name":"v2.6.1","tag_name":"v2.6.1","target_commitish":"refs/pull/302/merge"}', request: {} }, event: { id: '11568142769', name: 'pull_request', payload: { action: 'opened', enterprise: { avatar_url: 'https://avatars.githubusercontent.com/b/125249?v=4', created_at: '2024-02-16T01:02:54Z', description: null, html_url: 'https://github.com/enterprises/replit', id: 125249, name: 'Replit', node_id: 'E_kgDOAAHpQQ', slug: 'replit', updated_at: '2024-02-16T01:21:11Z', website_url: null }, number: 302, organization: { avatar_url: 'https://avatars.githubusercontent.com/u/983194?v=4', description: 'Instantly code and collaborate from anywhere', events_url: 'https://api.github.com/orgs/replit/events', hooks_url: 'https://api.github.com/orgs/replit/hooks', id: 983194, issues_url: 'https://api.github.com/orgs/replit/issues', login: 'replit', members_url: 'https://api.github.com/orgs/replit/members{/member}', node_id: 'MDEyOk9yZ2FuaXphdGlvbjk4MzE5NA==', public_members_url: 'https://api.github.com/orgs/replit/public_members{/member}', repos_url: 'https://api.github.com/orgs/replit/repos', url: 'https://api.github.com/orgs/replit' }, pull_request: { _
update_release_draft
HttpError: Validation Failed: {"resource":"Release","code":"invalid","field":"target_commitish"} at /home/runner/work/_actions/release-drafter/release-drafter/v5/dist/index.js:8462:21 at process.processTicksAndRejections (node:internal/process/task_queues:95:5) at async Job.doExecute (/home/runner/work/_actions/release-drafter/release-drafter/v5/dist/index.js:30793:18) { name: 'AggregateError', event: { id: '11568142769', name: 'pull_request', payload: { action: 'opened', enterprise: { avatar_url: 'https://avatars.githubusercontent.com/b/125249?v=4', created_at: '2024-02-16T01:02:54Z', description: null, html_url: 'https://github.com/enterprises/replit', id: 125249, name: 'Replit', node_id: 'E_kgDOAAHpQQ', slug: 'replit', updated_at: '2024-02-16T01:21:11Z', website_url: null }, number: 302, organization: { avatar_url: 'https://avatars.githubusercontent.com/u/983194?v=4', description: 'Instantly code and collaborate from anywhere', events_url: 'https://api.github.com/orgs/replit/events', hooks_url: 'https://api.github.com/orgs/replit/hooks', id: 983194, issues_url: 'https://api.github.com/orgs/replit/issues', login: 'replit', members_url: 'https://api.github.com/orgs/replit/members{/member}', node_id: 'MDEyOk9yZ2FuaXphdGlvbjk4MzE5NA==', public_members_url: 'https://api.github.com/orgs/replit/public_members{/member}', repos_url: 'https://api.github.com/orgs/replit/repos', url: 'https://api.github.com/orgs/replit' }, pull_request: { _links: { comments: { href: 'https://api.github.com/repos/replit/upm/issues/302/comments' }, commits: { href: 'https://api.github.com/repos/replit/upm/pulls/302/commits' }, html: { href: 'https://github.com/replit/upm/pull/302' }, issue: { href: 'https://api.github.com/repos/replit/upm/issues/302' }, review_comment: { href: 'https://api.github.com/repos/replit/upm/pulls/comments{/number}' }, review_comments: { href: 'https://api.github.com/repos/replit/upm/pulls/302/comments' }, self: { href: 'https://api.github.com/repos/replit/upm/pulls/302' }, statuses: { href: 'https://api.github.com/repos/replit/upm/statuses/976aa5f322bc53a7a39905f2ad56f45d961ea0ad' } }, active_lock_reason: null, additions: 1, assignee: null, assignees: [], author_association: 'COLLABORATOR', auto_merge: null, base: { label: 'replit:main', ref: 'main', repo: { allow_auto_merge: true, allow_forking: true, allow_merge_commit: false, allow_rebase_merge: false, allow_squash_merge: true, allow_update_branch: false, archive_url: 'https://api.github.com/repos/replit/upm/{archive_format}{/ref}', archived: false, assignees_url: 'https://api.github.com/repos/replit/upm/assignees{/user}', blobs_url: 'https://api.github.com/repos/replit/upm/git/blobs{/sha}', branches_url: 'https://api.github.com/repos/replit/upm/branches{/branch}', clone_url: 'https://github.com/replit/upm.git', collaborators_url: 'https://api.github.com/repos/replit/upm/collaborators{/collaborator}', comments_url: 'https://api.github.com/repos/replit/upm/comments{/number}', commits_url: 'https://api.github.com/repos/replit/upm/commits{/sha}', compare_url: 'https://api.github.com/repos/replit/upm/compare/{base}...{head}', contents_url: 'https://api.github.com/repos/replit/upm/contents/{+path}', contributors_url: 'https://api.github.com/repos/replit/upm/contributors', created_at: '2019
update_release_draft
The following actions use a deprecated Node.js version and will be forced to run on node20: release-drafter/release-drafter@v5. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/