Bump etc/coq-scripts from `8ce1d5d` to `8b66ebe` #4206

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
8.14.1	1h 7m 3s
8.15.2	1h 0m 3s
master	1h 5m 53s
check-all	1s
	3h 13m 0s