Fix syntax in github-actions-record-coq-info.sh #847
| Job | Run time |
|---|---|
| 39m 32s | |
| 44m 40s | |
| 1h 35m 17s | |
| 38m 26s | |
| 47m 14s | |
| 1h 35m 47s | |
| 40m 38s | |
| 1h 16m 59s | |
| 1h 38m 27s | |
| 9h 37m 0s |
| Job | Run time |
|---|---|
| 39m 32s | |
| 44m 40s | |
| 1h 35m 17s | |
| 38m 26s | |
| 47m 14s | |
| 1h 35m 47s | |
| 40m 38s | |
| 1h 16m 59s | |
| 1h 38m 27s | |
| 9h 37m 0s |