Mark HISTORY.md file as historical and no longer maintained
#28
| Job | Run time |
|---|---|
| 28s | |
| 26s | |
| 28s | |
| 26s | |
| 40s | |
| 47s | |
| 45s | |
| 1m 7s | |
| 1m 7s | |
| 1m 22s | |
| 1m 19s | |
| 1m 16s | |
| 2m 17s | |
| 2m 9s | |
| 1m 3s | |
| 1m 19s | |
| 1m 9s | |
| 42s | |
| 47s | |
| 59s | |
| 1m 30s | |
| 22m 6s |