Bump etc/coq-scripts from `8b66ebe` to `8648113` #4211

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
8.15.2	1h 1m 2s
master	1h 0m 4s
8.14.1	1h 12m 11s
check-all	6s
	3h 13m 23s