ignotusnemo/parano1d-soundness

test: verify public submission pipeline #1

Closed

ignotusnemo wants to merge 1 commit from test/verification-pipeline-20260829 into main

ignotusnemo commented

2026-08-29 11:05:32 +00:00

(Migrated from github.com)

Temporary maintainer smoke test for the trusted passive-data verifier, commit status and public submission queue. This pull request will be closed without merge after the end-to-end path is confirmed.

Temporary maintainer smoke test for the trusted passive-data verifier, commit status and public submission queue. This pull request will be closed without merge after the end-to-end path is confirmed.

ignotusnemo commented

2026-08-29 11:09:19 +00:00

(Migrated from github.com)

Smoke test passed. The trusted verifier accepted the pinned reproduction, published the commit status and exposed the ready result in the generated Pages queue. Closing without merge as planned.

Smoke test passed. The trusted verifier accepted the pinned reproduction, published the commit status and exposed the ready result in the generated Pages queue. Closing without merge as planned.

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

No reviewers

No labels

good first issue

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

ignotusnemo/parano1d-soundness!1

No description provided.