Add PR link and summary link

model-checking · Mar 8, 2023 · 00030c6 · 00030c6
1 parent 45a4248
commit 00030c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/rfc/src/SUMMARY.md b/rfc/src/SUMMARY.md
@@ -9,3 +9,4 @@
 - [0001-mir-linker](rfcs/0001-mir-linker.md)
 - [0002-function-stubbing](rfcs/0002-function-stubbing.md)
 - [0003-cover-statement](rfcs/0003-cover-statement.md)
+- [0006-unstable-api](rfcs/0006-unstable-api.md)
diff --git a/rfc/src/rfcs/0006-unstable-api → rfc/src/rfcs/0006-unstable-api.md b/rfc/src/rfcs/0006-unstable-api → rfc/src/rfcs/0006-unstable-api.md
@@ -1,6 +1,6 @@
 - **Feature Name:** Unstable APIs
 - **RFC Tracking Issue**: <https://github.com/model-checking/kani/issues/2279>
-- **RFC PR:** <>
+- **RFC PR:** <https://github.com/model-checking/kani/pull/2281>
 - **Status:** Under Review
 - **Version:** 0