Record coq version info to GITHUB_STEP_SUMMARY for easier access #846
| Job | Run time |
|---|---|
| 39m 41s | |
| 1h 4m 19s | |
| 1h 35m 53s | |
| 38m 4s | |
| 1h 9m 11s | |
| 1h 33m 56s | |
| 41m 58s | |
| 45m 9s | |
| 1h 38m 7s | |
| 9h 46m 18s |
| Job | Run time |
|---|---|
| 39m 41s | |
| 1h 4m 19s | |
| 1h 35m 53s | |
| 38m 4s | |
| 1h 9m 11s | |
| 1h 33m 56s | |
| 41m 58s | |
| 45m 9s | |
| 1h 38m 7s | |
| 9h 46m 18s |