Test Rocq

Updating vehicle-rocq for mathcomp version (#1169) #64

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rocq / macOS - Rocq 9.1.1	17m 10s
Rocq / Linux - Rocq 9.1.1	17m 27s
Rocq / Linux - Rocq 9.1.1	42m 10s
Rocq / macOS - Rocq 9.1.1	57m 4s
	2h 13m 51s