Document how to use lmt for writing literate executable specs #2711
| Job | Run time |
|---|---|
| 47s | |
| 5m 37s | |
| 51s | |
| 9m 16s | |
| 5m 19s | |
| 1m 42s | |
| 5m 11s | |
| 1m 29s | |
| 7m 2s | |
| 2m 1s | |
| 2m 57s | |
| 2m 48s | |
| 2m 41s | |
| 4m 28s | |
| 4m 20s | |
| 56m 29s |
| Job | Run time |
|---|---|
| 47s | |
| 5m 37s | |
| 51s | |
| 9m 16s | |
| 5m 19s | |
| 1m 42s | |
| 5m 11s | |
| 1m 29s | |
| 7m 2s | |
| 2m 1s | |
| 2m 57s | |
| 2m 48s | |
| 2m 41s | |
| 4m 28s | |
| 4m 20s | |
| 56m 29s |