Bump rupicola from 90a9655 to 9f17f7c (#1811, coq/coq#18564)
#361
| Job | Run time |
|---|---|
| 1h 40m 13s | |
| 13s | |
| 50s | |
| 12m 44s | |
| 57s | |
| 17m 8s | |
| 53m 30s | |
| 2h 16m 6s | |
| 32m 48s | |
| 45s | |
| 2s | |
| 5h 55m 16s |