docs: add comment about real angles #8772
Job | Run time |
---|---|
8m 51s | |
8m 51s | |
8m 51s | |
7m 43s | |
7m 43s | |
7m 43s | |
8m 37s | |
8m 37s | |
8m 37s | |
8m 47s | |
8m 47s | |
8m 47s | |
22m 43s | |
23m 6s | |
23m 6s | |
22m 34s | |
22m 50s | |
25m 41s | |
22m 50s | |
26m 5s | |
26m 5s | |
22m 50s | |
22m 25s | |
22m 25s | |
11m 52s | |
11m 52s | |
11m 52s | |
12m 7s | |
12m 7s | |
12m 7s | |
11m 20s | |
11m 20s | |
11m 20s | |
11m 12s | |
11m 12s | |
11m 12s | |
8h 44m 7s |