merge queue: embarking main (602157a) and #811 together #1529
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 30s | |
| 25s | |
| 32s | |
| 27s | |
| 2m 44s | |
| 2m 33s | |
| 28s | |
| 30s | |
| 31s | |
| 9s | |
| 23s | |
| 38s | |
| 18s | |
| 15s | |
| 10m 23s |
| Job | Run time |
|---|---|
| 30s | |
| 25s | |
| 32s | |
| 27s | |
| 2m 44s | |
| 2m 33s | |
| 28s | |
| 30s | |
| 31s | |
| 9s | |
| 23s | |
| 38s | |
| 18s | |
| 15s | |
| 10m 23s |