Skip to content

Merge pull request #43 from SaridakisStamatisChristos/codex/move-hypo… #50

Merge pull request #43 from SaridakisStamatisChristos/codex/move-hypo…

Merge pull request #43 from SaridakisStamatisChristos/codex/move-hypo… #50

Triggered via push October 7, 2025 06:29
Status Success
Total duration 18s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
update
HttpError: Resource not accessible by integration at /home/runner/work/_actions/release-drafter/release-drafter/v6/dist/index.js:7146:21 at process.processTicksAndRejections (node:internal/process/task_queues:95:5) at async Job.doExecute (/home/runner/work/_actions/release-drafter/release-drafter/v6/dist/index.js:61885:18) { name: 'AggregateError', event: { id: '18304095120', name: 'push', payload: { after: 'ca1564a43c33fdc6ff42faa63da73f9d92216ba3', base_ref: null, before: 'cbded1e510f31848d80b11ac451079c1e6a21863', commits: [ { author: { email: '[email protected]', name: 'SaridakisStamatisChristos', username: 'SaridakisStamatisChristos' }, committer: { email: '[email protected]', name: 'SaridakisStamatisChristos', username: 'SaridakisStamatisChristos' }, distinct: false, id: 'd245e98f82faec798de3b15a06cc4e3948199db6', message: 'Refine Hypothesis stub usage and extend tests', timestamp: '2025-10-07T08:55:55+03:00', tree_id: '7229763ac32e5fbfad21cc3c357e1f212d29c840', url: 'https://github.com/SaridakisStamatisChristos/sudoku_dlx/commit/d245e98f82faec798de3b15a06cc4e3948199db6' }, { author: { email: '[email protected]', name: 'SaridakisStamatisChristos', username: 'SaridakisStamatisChristos' }, committer: { email: '[email protected]', name: 'GitHub', username: 'web-flow' }, distinct: true, id: 'ca1564a43c33fdc6ff42faa63da73f9d92216ba3', message: 'Merge pull request #43 from SaridakisStamatisChristos/codex/move-hypothesis-stub-and-add-tests\n' + '\n' + 'Conditionally use Hypothesis stub and expand regression tests', timestamp: '2025-10-07T09:29:17+03:00', tree_id: '7229763ac32e5fbfad21cc3c357e1f212d29c840', url: 'https://github.com/SaridakisStamatisChristos/sudoku_dlx/commit/ca1564a43c33fdc6ff42faa63da73f9d92216ba3' } ], compare: 'https://github.com/SaridakisStamatisChristos/sudoku_dlx/compare/cbded1e510f3...ca1564a43c33', created: false, deleted: false, forced: false, head_commit: { author: { email: '[email protected]', name: 'SaridakisStamatisChristos', username: 'SaridakisStamatisChristos' }, committer: { email: '[email protected]', name: 'GitHub', username: 'web-flow' }, distinct: true, id: 'ca1564a43c33fdc6ff42faa63da73f9d92216ba3', message: 'Merge pull request #43 from SaridakisStamatisChristos/codex/move-hypothesis-stub-and-add-tests\n' + '\n' + 'Conditionally use Hypothesis stub and expand regression tests', timestamp: '2025-10-07T09:29:17+03:00', tree_id: '7229763ac32e5fbfad21cc3c357e1f212d29c840', url: 'https://github.com/SaridakisStamatisChristos/sudoku_dlx/commit/ca1564a43c33fdc6ff42faa63da73f9d92216ba3' }, pusher: { email: '[email protected]', name: 'SaridakisStamatisChristos' }, ref: 'refs/heads/main', repository: { allow_forking: true, archive_url: 'https://api.github.com/repos/SaridakisStamatisChristos/sudoku_dlx/{archive_format}{/ref}', archived: false, assignees_url: 'https://api.github.com/repos/SaridakisStamatisChristos/sudoku_dlx/assignees{/user}', blobs_url: 'https://api.github.com/repos/SaridakisStamatisChristos/sudoku_dlx/git/blobs{/sha}', branches_url: 'https://api.github.com/repos/SaridakisStamatisChristos/sudoku_dlx/branches{/branch}', clone
update
Resource not accessible by integration { name: 'HttpError', id: '18304095120', status: 403, response: { url: 'https://api.github.com/repos/SaridakisStamatisChristos/sudoku_dlx/releases', status: 403, 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', 'content-encoding': 'gzip', 'content-security-policy': "default-src 'none'", 'content-type': 'application/json; charset=utf-8', date: 'Tue, 07 Oct 2025 06:29:35 GMT', 'referrer-policy': 'origin-when-cross-origin, strict-origin-when-cross-origin', server: 'github.com', 'strict-transport-security': 'max-age=31536000; includeSubdomains; preload', 'transfer-encoding': 'chunked', vary: 'Accept-Encoding, Accept, X-Requested-With', 'x-accepted-github-permissions': 'contents=write; contents=write,workflows=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': 'F809:2CC249:2B4F918:BBE6450:68E4B34F', 'x-ratelimit-limit': '5000', 'x-ratelimit-remaining': '4989', 'x-ratelimit-reset': '1759818700', 'x-ratelimit-resource': 'core', 'x-ratelimit-used': '11', 'x-xss-protection': '0' }, data: { message: 'Resource not accessible by integration', documentation_url: 'https://docs.github.com/rest/releases/releases#create-a-release', status: '403' } }, request: { method: 'POST', url: 'https://api.github.com/repos/SaridakisStamatisChristos/sudoku_dlx/releases', headers: { accept: 'application/vnd.github.v3+json', 'user-agent': 'probot/12.4.0 octokit-core.js/3.6.0 Node.js/20.19.4 (linux; x64)', 'x-github-delivery': '18304095120', authorization: 'token [REDACTED]', 'content-type': 'application/json; charset=utf-8' }, body: '{"target_commitish":"refs/heads/main","name":"v0.1.0","tag_name":"v0.1.0","body":"## Changes\\n- Conditionally use Hypothesis stub and expand regression tests (#43) by @SaridakisStamatisChristos\\n- Add CLI support for format conversion, CNF export, and batch explanations (#42) by @SaridakisStamatisChristos\\n- Add Hypothesis stub and expand API edge-case tests (#41) by @SaridakisStamatisChristos\\n- Add MkDocs documentation site and workflows (#40) by @SaridakisStamatisChristos\\n- Add targeted strategy tests to improve coverage (#39) by @SaridakisStamatisChristos\\n- Add advanced strategies, SAT cross-check, and demo notebook (#38) by @SaridakisStamatisChristos\\n- Add triple and X-Wing human strategies (#37) by @SaridakisStamatisChristos\\n- Add human solving explain feature (#36) by @SaridakisStamatisChristos\\n- Add release gates to release workflow (#35) by @SaridakisStamatisChristos\\n- Bump actions/setup-python from 5 to 6 (#32) by @[dependabot[bot]](https://github.com/apps/dependabot)\\n- Bump actions/checkout from 4 to 5 (#29) by @[dependabot[bot]](https://github.com/apps/dependabot)\\n- Add Hypothesis profiles and nightly property testing workflow (#34) by @SaridakisStamatisChristos\\n- Add Hypothesis property tests and fuzz harness (#33) by @SaridakisStamatisChristos\\n- Add CLI bounds, JSON outputs, and sampling controls (#27) by @SaridakisStamatisChristos\\n- Add difficulty v2 rating and invariance tests (#26) by @SaridakisStamatisChristos\\n- Add solution reveal trace export and visualizer (#25) by @SaridakisStamatisChristos\\n- Ensure strict minimal puzzles with symmetry support (#24) by @SaridakisStamatisChristos\\n- Add dataset statistics CLI command (#23) by @SaridakisStamatisChristos\\n- Add Sudoku analysis API and CLI check command (#22) by @SaridakisStamatisChristos\\n- Add rel
update
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
update
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
update
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
update
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)