docs(guides): add bridging-theorems guide + sp.bridge full test suite #219
| Job | Run time |
|---|---|
| 39s | |
| 41m 3s | |
| 43m 12s | |
| 25m 28s | |
| 24m 47s | |
| 41m 22s | |
| 35m 46s | |
| 36m 19s | |
| 24m 26s | |
| 32m 36s | |
| 39m 53s | |
| -1s | |
| -1s | |
| -1s | |
| 5h 45m 28s |
| Job | Run time |
|---|---|
| 39s | |
| 41m 3s | |
| 43m 12s | |
| 25m 28s | |
| 24m 47s | |
| 41m 22s | |
| 35m 46s | |
| 36m 19s | |
| 24m 26s | |
| 32m 36s | |
| 39m 53s | |
| -1s | |
| -1s | |
| -1s | |
| 5h 45m 28s |