Skip to content

Commit 8e7bfdd

Browse files
committed
Fix mkdocs nav toc to reflect new location of Test
1 parent f1a6475 commit 8e7bfdd

File tree

1 file changed

+64
-9
lines changed

1 file changed

+64
-9
lines changed

build-tools/static/md/nav.yml

Lines changed: 64 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -90,6 +90,7 @@
9090
- Script: Ledger.Conway.Specification.Script.md
9191
- Script/:
9292
- Base: Ledger.Conway.Specification.Script.Base.md
93+
- ScriptPurpose: Ledger.Conway.Specification.Script.ScriptPurpose.md
9394
- Timelock: Ledger.Conway.Specification.Script.Timelock.md
9495
- Validation: Ledger.Conway.Specification.Script.Validation.md
9596
- TokenAlgebra/:
@@ -112,15 +113,6 @@
112113
- Properties: Ledger.Conway.Specification.Utxow.Properties.md
113114
- Properties/:
114115
- Computational: Ledger.Conway.Specification.Utxow.Properties.Computational.md
115-
- Test:
116-
- Examples: Ledger.Conway.Specification.Test.Examples.md
117-
- Examples/:
118-
- HelloWorld: Ledger.Conway.Specification.Test.Examples.HelloWorld.md
119-
- SucceedIfNumber: Ledger.Conway.Specification.Test.Examples.SucceedIfNumber.md
120-
- LedgerImplementation: Ledger.Conway.Specification.Test.LedgerImplementation.md
121-
- Lib: Ledger.Conway.Specification.Test.Lib.md
122-
- Prelude: Ledger.Conway.Specification.Test.Prelude.md
123-
- StructuredContracts: Ledger.Conway.Specification.Test.StructuredContracts.md
124116
- Types/:
125117
- GovStructure: Ledger.Conway.Specification.Types.GovStructure.md
126118
- Dijkstra:
@@ -178,6 +170,69 @@
178170
- HaskellTypes/:
179171
- Deriving: Foreign.HaskellTypes.Deriving.md
180172
- MyDebugOptions: MyDebugOptions.md
173+
- Test/:
174+
- Examples: Test.Examples.md
175+
- Examples/:
176+
- HelloWorld: Test.Examples.HelloWorld.md
177+
- SucceedIfNumber: Test.Examples.SucceedIfNumber.md
178+
- AccountSim/:
179+
- Datum: Test.Examples.AccountSim.Datum.md
180+
- OffChain/:
181+
- Cleanup: Test.Examples.AccountSim.OffChain.Cleanup.md
182+
- Close: Test.Examples.AccountSim.OffChain.Close.md
183+
- Deposit: Test.Examples.AccountSim.OffChain.Deposit.md
184+
- Lib: Test.Examples.AccountSim.OffChain.Lib.md
185+
- OffChain: Test.Examples.AccountSim.OffChain.OffChain.md
186+
- Open: Test.Examples.AccountSim.OffChain.Open.md
187+
- Start: Test.Examples.AccountSim.OffChain.Start.md
188+
- Transfer: Test.Examples.AccountSim.OffChain.Transfer.md
189+
- Withdraw: Test.Examples.AccountSim.OffChain.Withdraw.md
190+
- Test/:
191+
- Trace: Test.Examples.AccountSim.Test.Trace.md
192+
- Validator: Test.Examples.AccountSim.Validator.md
193+
- DEx/:
194+
- Datum: Test.Examples.DEx.Datum.md
195+
- OffChain/:
196+
- Close: Test.Examples.DEx.OffChain.Close.md
197+
- Exchange: Test.Examples.DEx.OffChain.Exchange.md
198+
- Lib: Test.Examples.DEx.OffChain.Lib.md
199+
- OffChain: Test.Examples.DEx.OffChain.OffChain.md
200+
- Start: Test.Examples.DEx.OffChain.Start.md
201+
- Update: Test.Examples.DEx.OffChain.Update.md
202+
- Test/:
203+
- Trace: Test.Examples.DEx.Test.Trace.md
204+
- Validator: Test.Examples.DEx.Validator.md
205+
- MultiSig/:
206+
- Datum: Test.Examples.MultiSig.Datum.md
207+
- OffChain/:
208+
- AddSig: Test.Examples.MultiSig.OffChain.AddSig.md
209+
- Lib: Test.Examples.MultiSig.OffChain.Lib.md
210+
- OffChain: Test.Examples.MultiSig.OffChain.OffChain.md
211+
- Open: Test.Examples.MultiSig.OffChain.Open.md
212+
- Pay: Test.Examples.MultiSig.OffChain.Pay.md
213+
- Propose: Test.Examples.MultiSig.OffChain.Propose.md
214+
- Test/:
215+
- Trace: Test.Examples.MultiSig.Test.Trace.md
216+
- Validator: Test.Examples.MultiSig.Validator.md
217+
- MultiSigV2/:
218+
- Datum: Test.Examples.MultiSigV2.Datum.md
219+
- OffChain/:
220+
- AddSig: Test.Examples.MultiSigV2.OffChain.AddSig.md
221+
- Cancel: Test.Examples.MultiSigV2.OffChain.Cancel.md
222+
- Cleanup: Test.Examples.MultiSigV2.OffChain.Cleanup.md
223+
- Lib: Test.Examples.MultiSigV2.OffChain.Lib.md
224+
- OffChain: Test.Examples.MultiSigV2.OffChain.OffChain.md
225+
- Open: Test.Examples.MultiSigV2.OffChain.Open.md
226+
- Pay: Test.Examples.MultiSigV2.OffChain.Pay.md
227+
- Propose: Test.Examples.MultiSigV2.OffChain.Propose.md
228+
- Test/:
229+
- Trace: Test.Examples.MultiSigV2.Test.Trace.md
230+
- Validator: Test.Examples.MultiSigV2.Validator.md
231+
- AbstractImplementation: Test.AbstractImplementation.md
232+
- LedgerImplementation: Test.LedgerImplementation.md
233+
- Lib: Test.Lib.md
234+
- Prelude: Test.Prelude.md
235+
- SymbolicData: Test.SymbolicData.md
181236
- Era-dependent Modules:
182237
- Dijkstra:
183238
- Ledger.Dijkstra: Ledger.Dijkstra.md

0 commit comments

Comments
 (0)