Skip to content

Playwright Docs Tests #34

Playwright Docs Tests

Playwright Docs Tests #34

Triggered via schedule October 26, 2025 00:25
Status Failure
Total duration 25m 54s
Artifacts 1

playwright-docs.yml

on: schedule
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 notice
test
Process completed with exit code 1.
tests/docs.spec.ts:72:9 › Test playgrounds in `http://localhost:8000/manual/lean/tutorial/properties/`: docs/.test/tests/docs.spec.ts#L109
3) tests/docs.spec.ts:72:9 › Test playgrounds in `http://localhost:8000/manual/lean/tutorial/properties/` › Try playground #0 Error: `.state-success` should be set, but `.state-failure` was detected expect(received).toBeTruthy() Received: false 107 | expect(hasFailure, '`.state-failure` should be set (the snippet is tagged with a class `expect-failure`), but `.state-success` was detected').toBeTruthy(); 108 | } else { > 109 | expect(hasSuccess, '`.state-success` should be set, but `.state-failure` was detected').toBeTruthy(); | ^ 110 | } 111 | }); 112 | } at /home/runner/work/hax/hax/docs/.test/tests/docs.spec.ts:109:113 at /home/runner/work/hax/hax/docs/.test/tests/docs.spec.ts:78:17
tests/docs.spec.ts:72:9 › Test playgrounds in `http://localhost:8000/manual/lean/tutorial/panic-freedom/`: docs/.test/tests/docs.spec.ts#L109
2) tests/docs.spec.ts:72:9 › Test playgrounds in `http://localhost:8000/manual/lean/tutorial/panic-freedom/` › Try playground #2 Error: `.state-success` should be set, but `.state-failure` was detected expect(received).toBeTruthy() Received: false 107 | expect(hasFailure, '`.state-failure` should be set (the snippet is tagged with a class `expect-failure`), but `.state-success` was detected').toBeTruthy(); 108 | } else { > 109 | expect(hasSuccess, '`.state-success` should be set, but `.state-failure` was detected').toBeTruthy(); | ^ 110 | } 111 | }); 112 | } at /home/runner/work/hax/hax/docs/.test/tests/docs.spec.ts:109:113 at /home/runner/work/hax/hax/docs/.test/tests/docs.spec.ts:78:17
tests/docs.spec.ts:49:9 › Check if link is live: https://github.com/app/dependabot: docs/.test/tests/docs.spec.ts#L57
1) tests/docs.spec.ts:49:9 › Check if link is live: https://github.com/app/dependabot ──────────── Error: expect(received).toBeTruthy() Received: false 55 | let { status, html } = await tryNavigateTo(other_page, link.toString()); 56 | let anti_bot_codes = [401, 403, 429, 451, 999].includes(status); > 57 | expect(anti_bot_codes || (status >= 200 && status < 300)).toBeTruthy() | ^ 58 | 59 | let hash = (new URL(link)).hash?.replace(/^#/, ''); 60 | if (hash && !link.includes("")) at /home/runner/work/hax/hax/docs/.test/tests/docs.spec.ts:57:71
🎭 Playwright Run Summary
3 failed tests/docs.spec.ts:49:9 › Check if link is live: https://github.com/app/dependabot ───────────── tests/docs.spec.ts:72:9 › Test playgrounds in `http://localhost:8000/manual/lean/tutorial/panic-freedom/` tests/docs.spec.ts:72:9 › Test playgrounds in `http://localhost:8000/manual/lean/tutorial/properties/` 599 passed (18.5m)

Artifacts

Produced during runtime
Name Size Digest
playwright-report
319 MB
sha256:58ab902553bf0ffbc31c91d23079613f044d188fdca0f44a1d6943637b3d918a