docs: launch playbooks, SMT note, Codespaces try path - #1432
Merged
Conversation
- Competitor-thread reply playbook (Closes #1413) - RFMIG intro outline and Zulip blurb (Closes #1411) - SMT portfolio / timeout / Unknown technical note (Closes #1412) - GETTING-STARTED try-without-install + .devcontainer (Closes #1399 deferred alternative) - Launch README checklist and index of supporting docs Signed-off-by: Sebastien Tardif <sebtardif@ncf.ca>
SebTardif
enabled auto-merge (squash)
July 27, 2026 02:00
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
8 tasks
This was referenced Jul 27, 2026
SebTardif
added a commit
that referenced
this pull request
Jul 27, 2026
## Summary Follow-up to user review of #1432: human RFMIG outreach was closed too early. - Reopened **#1411** for send/record steps - Filed **#1435** process rule - This PR: `docs/launch/rfmig-intro.md` links the open issue so the markdown section is not the only tracker ## Test plan - [x] #1411 is OPEN - [x] Doc points at #1411 Signed-off-by: Sebastien Tardif <sebtardif@ncf.ca>
5 tasks
SebTardif
added a commit
that referenced
this pull request
Jul 27, 2026
## Summary MPI cycle 2026-07-27 (gate: only human/blocked issues remain). ### Docs / process - Fix SPEC JSON example `documentation_url` that pointed at **assura.dev** (wrong product) - Surface `docs/error-codes.md` in mdBook SUMMARY + docs homepage - Sample `assura_version` example bumped to 0.4.0 - CONTRIBUTING: do not close human-outreach issues when only docs land (#1432 / #1411 lesson) ### Tests - Strengthen CLI integration asserts for build OK lines and REPL load success ### Not closed (human / blocked) - #1410 hard-launch posts - #1411 RFMIG send step - #1396 awesome-lists (after #1410) - #436 cvc5-rs upstream ## Test plan - [x] `cargo test -p assura --test cli_integration build_output_includes_artifact_size` - [x] `cargo test -p assura --test cli_integration build_produces_native_artifact` - [x] `cargo test -p assura --test cli_integration repl_load` - [x] `bash scripts/guards.sh` - [ ] CI green --------- Signed-off-by: Sebastien Tardif <sebtardif@ncf.ca>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
MPI pre-rotation gate: land accepted documentation backlog.
docs/launch/competitor-replies.md)docs/launch/rfmig-intro.md)docs/SMT-NOTE.md, mdBook link).devcontainer/) + demo GIF + install path in GETTING-STARTEDNot in this PR
Test plan
docs/launch/README.mdanddocs/SMT-NOTE.mdCloses #1413
Closes #1411
Closes #1412
Closes #1399